Stars
- All languages
- Ada
- Assembly
- Awk
- BQN
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Dhall
- Emacs Lisp
- F#
- F*
- Go
- Go Template
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- Makefile
- Nearley
- Nix
- OCaml
- Objective-C
- OpenSCAD
- PHP
- PostScript
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- SMT
- Sail
- Shell
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- TeX
- TypeScript
- Typst
- Vim Script
- Zig
Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu,@cyclic-pentane]
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
Fast, powerful, git-native ticket tracking in a single bash script. Dependency graphs, priority levels, zero setup.
muvm - run programs from your system in a microVM
The native Clojure dialect hosted on LLVM with seamless C++ interop.
A simple and easy-to-use OIDC provider that allows users to authenticate with their passkeys to your services.
Discussions: https://matrix.to/#/#Jovian-Experiments:matrix.org
AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.
CineCLI is a cross-platform command-line movie browser built with Python.
A backup application for the Android Open Source Project.
Book's Story — Material You eBook reader built with Jetpack Compose. Free & Open source & Ad-free, with extensive customization options and support for multiple file formats.
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).
A simple CalDAV (calendar) and CardDAV (contact) server.
Mounts to adapt Framework motherboard to ATX and Micro-ATX Motherboards and Cases
Perkeep (née Camlistore) is your personal storage system for life: a way of storing, syncing, sharing, modelling and backing up content.
An open-source, code-first Python toolkit for building, evaluating, and deploying sophisticated AI agents with flexibility and control.
An open-source, code-first Go toolkit for building, evaluating, and deploying sophisticated AI agents with flexibility and control.