Niklas Larsson's repositories
NOASSERTION000
aoc2020
Advent of code 2020
Language:F#000
aoc2021
Advent of code 2021
Language:Haskell000
Language:Scheme000
atom-language-idris
A Idris Mode for Atom.io
Language:CoffeeScriptMIT000
Language:RacketISC000
chez-exe
Chez Scheme self hosting executable
NOASSERTION000
ChezScheme
Chez Scheme
Language:SchemeApache-2.0000
Language:PHPMIT000
factor
Factor programming language - GitHub mirror of official GIT repo
Language:FactorBSD-2-Clause000
Idris2-boot
A dependently typed programming language, a successor to Idris
Language:IdrisNOASSERTION000
inkjs
A javascript port of inkle's ink scripting language.
Language:TypeScriptMIT000
Joy
Manfred von Thun's Programming Language Joy
Language:CNOASSERTION000
lean4
Lean 4 programming language and theorem prover
Language:LeanApache-2.0000
melted.github.io
github pages
Language:HTML000
MicroHs
Functional language implemented with combinators
NOASSERTION000
mlton
The MLton repository
NOASSERTION000
ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCamlNOASSERTION000
OrangeCrab
ECP5 breakout board in a feather physical format
NOASSERTION000
OrangeCrab-examples
Example projects/code for the OrangeCrab
MIT000
racket
The Racket repository
Language:SchemeNOASSERTION000
scheme-langserver
Scheme language server
NOASSERTION000
MIT000
thunderchez
libraries for chez scheme productivity
000