Stars
- All languages
- ANTLR
- Agda
- Assembly
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Coq
- Crystal
- Cuda
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- GAP
- GLSL
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Markdown
- Nix
- OCaml
- Objective-C
- PHP
- Processing
- PureScript
- Python
- R
- Racket
- ReScript
- Reason
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Solidity
- Starlark
- SuperCollider
- Swift
- TeX
- TypeScript
- Vim Script
- Vue
- WebAssembly
- Zig
3
stars
written in Nix
Clear filter
Bleeding edge emacs overlay [maintainer=@adisbladis]
A collaborative environment for formal, interoperable, conceptual modeling