- Indiana
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dhall
- Dockerfile
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Frege
- Go
- HCL
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Logos
- MDX
- Makefile
- Markdown
- NSIS
- Nix
- Nunjucks
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Perl
- PostScript
- PowerShell
- Prolog
- Pure Data
- PureScript
- Python
- QML
- Racket
- ReScript
- Reason
- Ruby
- Rust
- SCSS
- SVG
- Scala
- Scheme
- Shell
- Smalltalk
- Standard ML
- Swift
- TeX
- TypeScript
- VHDL
- Vim Script
- WebAssembly
- Yacc
- hoon
Process Compose is a simple and flexible scheduler and orchestrator to manage non-containerized applications.
Brings native understanding of Nix packages to containerd
A massively parallel, high-level programming language
An entry to Ludum Dare 46, written with Rust for Web
A tool for exploring each layer in a docker image
Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more [maintainer=@figsoda]
Stream processing and management platform.
Functional relational programming for Clojure(Script).
High-performance time-series aggregation for PostgreSQL
An implementation of differential dataflow using timely dataflow on Rust.
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Skip is a framework for building reactive services
jq for binary formats - tool, language and decoders for working with binary and text formats
Combine the power of nix-eval-jobs with nix-output-monitor to speed-up your evaluation and building process.
⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
This library contains higher level Rust wrappers for low level Lunatic syscalls.