Pinned Repositories
aoc2019
Advent of code 2019
aoc2022
Advent of code 2022
arena
An artless arena allocator
bytestring-storable
Pick Storables off a ByteString
get-idris
Setting up an Idris dev environment on Windows
hcom
idris-chez
An idris backend compiling to chez scheme
Idris-dev
A Dependently Typed Functional Programming Language
idris-lua
A Lua backend for Idris
Idris2
Idris2s all the way down
melted's Repositories
melted/hcom
melted/aoc2022
Advent of code 2022
melted/rugs
WIP Haskell interpreter
melted/Idris-dev
A Dependently Typed Functional Programming Language
melted/Idris2
Idris2s all the way down
melted/algol60
melted/aoc2020
Advent of code 2020
melted/aoc2021
Advent of code 2021
melted/aoc2023
melted/atom-language-idris
A Idris Mode for Atom.io
melted/book
The Servo Book
melted/browsereng
melted/chez-srfi
SRFIs for Chez Scheme
melted/ChezScheme
Chez Scheme
melted/elint
melted/factor
Factor programming language - GitHub mirror of official GIT repo
melted/hexwords
melted/Idris2-boot
A dependently typed programming language, a successor to Idris
melted/inkjs
A javascript port of inkle's ink scripting language.
melted/Joy
Manfred von Thun's Programming Language Joy
melted/ladybird
Truly independent web browser
melted/lean4
Lean 4 programming language and theorem prover
melted/MicroHs
Functional language implemented with combinators
melted/mlton
The MLton repository
melted/OrangeCrab
ECP5 breakout board in a feather physical format
melted/OrangeCrab-examples
Example projects/code for the OrangeCrab
melted/racket
The Racket repository
melted/scheme-langserver
Scheme language server
melted/swish-lint
melted/thunderchez
libraries for chez scheme productivity