Highlights
- Pro
Lists (32)
Sort Name ascending (A-Z)
Algorithms
Android apps
Audio
CLI tooling
Communication
Compression
Crypto
Databases
Desktop Environments
Distributed DBs
Download utils
Editors / IDEs
Financial
Formal Logic
Libraries and tools related to formal logicGUI libraries
Impressive Tech Demos
Linux MultiTouch
Machine learning
Neural networks, Tsetlin Machines etcMath
Mechanical Keyboards
Modern shells
Networks
Nix
Reading List
Rust
Rust related stuffSecurity
Software Deployment
Kubernetes, Docker, WASM etcSoftware Security
Anything to do with offensive or defensive software security.Tools misc
Video
WASM
Web Frontend
Stars
- All languages
- Agda
- Assembly
- Bison
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Cython
- Dart
- Elixir
- Emacs Lisp
- Erlang
- F*
- Fennel
- Go
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Mojo
- Nemerle
- Nim
- Nix
- Nushell
- OCaml
- Objective-C
- PHP
- Pascal
- Perl
- PlantUML
- PostScript
- PowerShell
- Prolog
- Python
- QML
- Racket
- Rez
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Swift
- TLA
- TSQL
- TeX
- TypeScript
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- XQuery
- Zig
- hoon
Manage system config using nix on any distro
Distribute and run LLMs with a single file.
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
A suite of tools to develop RAG, semantic search, and other AI applications more easily with PostgreSQL
@ofborg tooling automation https://monitoring.ofborg.org/dashboard/db/ofborg
Angular-based calculator for factory games like Factorio and Dyson Sphere Program
Extracts and decrypts passwords saved in Firefox.
Syncthing-Fork - A Syncthing Wrapper for Android.
Janus: Decoupling Visual Encoding for Unified Multimodal Understanding and Generation
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
VectorLink.ai examples from blog posts, articles, tutorials, etc
Executes commands in response to file modifications —— Maintenance status: on hold. I have no time for OSS currently; back late 2024.
3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
Run unpatched dynamic binaries on NixOS [maintainer=@Mic92]
Research and development (R&D) is crucial for the enhancement of industrial productivity, especially in the AI era, where the core aspects of R&D are mainly focused on data and models. We are commi…
A Library for Differentiable Logic Gate Networks
Empowering RAG with a memory-based data interface for all-purpose applications!
A high-performance, zero-overhead, extensible Python compiler using LLVM
LLaMA-Omni is a low-latency and high-quality end-to-end speech interaction model built upon Llama-3.1-8B-Instruct, aiming to achieve speech capabilities at the GPT-4o level.
A Vulkan and OpenGL overlay for monitoring FPS, temperatures, CPU/GPU load and more. Discord: https://discordapp.com/invite/Gj5YmBb
g1: Using Llama-3.1 70b on Groq to create o1-like reasoning chains
A rust crate providing a vector like struct that stores data as runs of identical values.