Stars
- All languages
- Agda
- Assembly
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Coq
- D
- Dockerfile
- Elm
- Emacs Lisp
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Lua
- Markdown
- Mathematica
- OCaml
- Objective-C
- OpenSCAD
- Perl
- PowerShell
- Prolog
- Python
- Racket
- Reason
- Ruby
- Rust
- Scheme
- Shell
- Starlark
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Zig
8
stars
written in Haskell
Clear filter
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
A demo implementation of a simple dependently-typed language
A language for intent-centric and declarative decentralised applications
A Clash playground/starter kit, using Nix
Generate PostScript diagrams from an EBNF grammar