- All languages
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- D
- Dhall
- Dockerfile
- Dylan
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Factor
- Forth
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- Mercury
- Nix
- OCaml
- Objective-C++
- PHP
- Perl
- PostScript
- PowerShell
- PureScript
- Python
- Racket
- Ruby
- Rust
- Scala
- Scheme
- Self
- Shell
- Smalltalk
- TeX
- TypeScript
- YASnippet
Starred repositories
Guides to get Rocksmith 2014 running on Linux
Allows you to safely accept demo versions on your server.
An API testing tool with support for HTTP/2 and HTTP/3. Alternative to Postman.
⭐️ A friendly language for building type-safe, scalable systems!
A Dwarf Fortress starter pack builder for Linux & MacOS
.NET library for efficient similarity search of dense and sparse vectors
Typed bindings to the Screeps in-game API for WASM Rust AIs
Easy, fast, transparent generic derivation of typeclass instances
Larn - based on 12.4 maintained and developed for modern systems
A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
🍖 Session types for asynchronous communication between multiple parties.
High-level Deep Learning Framework written in Kotlin and inspired by Keras
PureScript wrapper library for the Screeps game API (https://screeps.com)
A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"
Haskell-style functional programming language running on Erlang VM.
🍬 a functional language for building type-safe, scalable, and maintainable applications