I am primarily interested in functional languages (and Types systems) and web developement.
Highlights
- All languages
- ATS
- ActionScript
- Agda
- Arc
- Assembly
- Astro
- Ballerina
- Brainfuck
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- DCPU-16 ASM
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Fennel
- Flix
- Forth
- Fortran
- Frege
- Futhark
- GDScript
- Gleam
- Go
- HTML
- Hack
- Handlebars
- Haskell
- Haxe
- HolyC
- Idris
- Isabelle
- Jai
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- LigoLANG
- Lua
- M4
- MDX
- Makefile
- Markdown
- Move
- Nim
- Nix
- OCaml
- Objective-C
- Oz
- PHP
- Pascal
- Perl
- Processing
- Prolog
- Pure Data
- PureScript
- Python
- Racket
- Raku
- ReScript
- Reason
- Red
- Ren'Py
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- SVG
- Scala
- Scheme
- Shell
- Smalltalk
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- UrWeb
- Vala
- Vim Script
- Visual Basic
- Vue
- WebAssembly
- Wren
- Yacc
- ZIL
- Zig
Starred repositories
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
A simple unikernel to serve files via HTTP in full OCaml
Simple animated GIF screen recorder with an easy to use interface
A guide for Io ( https://iolanguage.org/ )
Org Social is a decentralized social network that runs on an Org Mode file over HTTP.
WeiDU is a program used to develop, distribute and install modifications for games based on the Infinity Engine.
A statically-typed, functional typesetting system