
Lists (8)
Sort Name ascending (A-Z)
- All languages
- ATS
- Agda
- Arduino
- Assembly
- Awk
- BibTeX Style
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Component Pascal
- Coq
- D
- DTrace
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F*
- Frege
- Futhark
- Go
- Groovy
- HCL
- HTML
- Hack
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lex
- Lua
- M
- MDX
- Makefile
- Markdown
- MiniZinc
- Nim
- Nix
- OCaml
- OpenSCAD
- PHP
- Pascal
- Perl
- Processing
- Prolog
- PureScript
- Python
- QML
- R
- Racket
- ReScript
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Smalltalk
- Smarty
- Standard ML
- Starlark
- SuperCollider
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Untyped Plutus Core
- UrWeb
- Verilog
- Vim Script
- WebAssembly
Starred repositories
Highlighting support for the Haskell language in visual studio code.
Hazel, a live functional programming environment with typed holes
Learn Elm with its compiler as a copilot!
NIx Language server, an incremental analysis assistant for writing in Nix.
Beat your package expressions into a shape
Audacity's classic theme as a standalone custom theme
OpenSSL-based Authenticode signing for PE, CAB, CAT, MSI, APPX, and script file
Cornerstone of the MOST efficient std::thread on Windows for mingw-w64
A Factorio mod that replaces some in-game sounds and music with those from StarCraft.
A scalable overlay networking tool with a focus on performance, simplicity and security
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby
Use LD_PRELOAD to redirect socket ports or unix domain socket paths
Rust toolchains and rust-analyzer nightly for Nix [maintainers=@figsoda, @winterqt, @zmitchell]
Convert a nixos derivation into a self-contained binary
PoC process-compose deployments for NixOS
LaunchDarkly Server-Side SDK for Haskell