Stars
- All languages
- APL
- ATS
- ActionScript
- Agda
- C
- C#
- C++
- COBOL
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- F#
- Frege
- Go
- HTML
- Haml
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Max
- Nearley
- Nemerle
- Nix
- Nu
- OCaml
- Objective-C++
- PHP
- PLpgSQL
- Prolog
- PureScript
- Python
- R
- Racket
- ReScript
- Reason
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Shen
- Standard ML
- Starlark
- Swift
- TeX
- TypeScript
- Vim Script
- WebAssembly
Attempt at creating a tensor type in Idris with dimension-safe operations.
A tiny hardware-accelerated pixel frame buffer. 🦀
Declarative GTK+ programming in Haskell
Dependent type checker using normalisation by evaluation
Nix-based incremental build tool for Haskell projects
"DreymaR's Big Bag of Keyboard Tricks" for *nix with XKB
PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...
A shallow embedding of the OpenGL Shading Language in Haskell
📤 defer instance resolution until runtime
the millions of gestures that constitute life on earth
Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.
Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs
Cross-platform, fast, feature-rich, GPU based terminal
Command-line spaced-repetition learning software. CL (command line) + Anki (popular spaced-repetition software) = Clanki.
A Pandoc filter for including code from source files
Bucklescript data structures for effectful sync and async programming
Compile Dhall expressions to Cabal files
💊 a GHC.Generics-based entity component system
Numerical computation in native Haskell