Stars
- All languages
- Agda
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Coq
- Crystal
- Cuda
- D
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Flix
- Go
- Groovy
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Just
- Lean
- Lua
- Markdown
- Nim
- Nix
- OCaml
- PHP
- PLpgSQL
- Perl
- Pony
- PowerShell
- Protocol Buffer
- PureScript
- Python
- QML
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Solidity
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- YAML
- Zig
An application template for Hermit for Rust.
Minimal implementation of the Mimblewimble protocol.
OfficeCLI is the first and best Office suite purpose-built for AI agents to read, edit, and automate Word, Excel, and PowerPoint files. Free, open-source, single binary, no Office installation requ…
tienle / plfm_radar
Forked from NawfalMotii79/PLFM_RADAROpen-source, low-cost 10.5 GHz PLFM phased array RADAR system
Intermediate Language (IL) for Hardware Accelerator Generators
Go library and CLI for working with git forges. Supports GitHub, GitLab, Gitea/Forgejo, and Bitbucket Cloud through a single interface.
Postgres rewritten in Rust, now passing 100% of the Postgres regression tests
Watch videos with friends using WebRTC, let the server do the pausing and seeking.
Digital signal processing for neural time series.
Runnind Rising Storm 2 - Vietnam dedicated server on linux using wine
Keyboard-first TUI email: write in Neovim, render as Markdown, screen senders first, organize emails once.
A keyboard-driven, vim-like browser based on Python and Qt.
Obsidian 🤝 Neovim (actively maintained version)
A static analysis tool for rust, anchor, stylus, and solidity smart contracts.
Autonomous game development for Godot, Bevy, and Babylon.js with Claude Code and Codex
Sub-millisecond VM sandboxes for AI agents via copy-on-write forking
Perform code analysis to detect potentially dangerous vulnerabilities
Finite state machine framework for Rust with readable specifications
Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust
LLMs as Copilots for Theorem Proving in Lean
Cross-compiler from Haskell to Rust, plus parser-haskell.
Zero-cost & Type-safe Reactive Extensions for Rust. Supports both high-performance single-threaded (Local) and thread-safe (Shared) contexts. WASM & Tokio ready.
Solutions to tasks from Programming from the ground up book