- Romania
- All languages
- Agda
- Assembly
- Astro
- BQN
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- D
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- FreeBASIC
- Frege
- Game Maker Language
- Git Attributes
- Go
- Groovy
- HTML
- Haskell
- Haxe
- Idris
- Jai
- Janet
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Mustache
- Nim
- Nix
- OCaml
- Objective-C
- Odin
- PHP
- PLpgSQL
- Perl
- PowerShell
- Processing
- PureScript
- Python
- QML
- Racket
- ReScript
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- ShaderLab
- Shell
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TLA
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- V
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Zig
- hoon
Starred repositories
A FUSE filesystem intended to be used like Apache mod_rewrite
A menagerie of cute implementations of modern typechecking algorithms
Pure Python implementation of the squarify treemap layout algorithm
Open-source cross-platform iOS app sideloader (yep, even Linux is supported). Alternative to Sideloadly, AltServer, SideServer, Cydia Impactor, iOS App Signer…
Typed interactions with the GitHub API v3
👹 A library for hierarchical names and lexical scoping
Generate a Nix derivation on the fly using an LLM
A tool for pinning (and updating) external dependencies on NixOS configurations.
Hunt down social media accounts by username across social networks
Haskell library for the Microsoft Language Server Protocol
🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.
A proposal to restrict sites from accessing a users' local network without permission
Pure and reproducible nix overlay of binary distributed rust toolchains
An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices
Simple animated GIF screen recorder with an easy to use interface
A module collection for Hjem. [Maintainers=@Lunarnovaa, @nezia1]