Pinned Repositories
december
Core language
descent
An analog for `multiplate`
DNL
Definitely Not Lisp
dual-effects
Yet another experiment on effect systems
f-omega
A "what I can squeeze" out of type inference with type-in-type, RankN and impredicativity.
LR
LR(1) parser (and generator)
Slicer
Slice-viewer for blocky 3d constructs.
unification-xd
Attempt to refresh and understand unification-fd
zipp
Zipper for any datatype
Heimdell's Repositories
Heimdell/LR
LR(1) parser (and generator)
Heimdell/descent
An analog for `multiplate`
Heimdell/unification-xd
Attempt to refresh and understand unification-fd
Heimdell/december
Core language
Heimdell/DNL
Definitely Not Lisp
Heimdell/f-omega
A "what I can squeeze" out of type inference with type-in-type, RankN and impredicativity.
Heimdell/components
Haskelly way to S, maybe O and D in SOLID
Heimdell/dndlist
DnD char list, elm experiments
Heimdell/dual-effects
Yet another experiment on effect systems
Heimdell/move-it-dammit
Minecraft mod, analog of Red Power 2
Heimdell/raycast
Heimdell/bnfc
BNF Converter
Heimdell/Chisel
Heimdell/cubical-mini
Heimdell/cursed-sands
Liquid simulator
Heimdell/december-agda
Heimdell/dt
Deptypes
Heimdell/elm-optics
A faithful for of `lens` to Elm
Heimdell/elm-parser
A parsing combinator library for Elm language
Heimdell/gleam
⭐️ A friendly language for building type-safe, scalable systems!
Heimdell/inference
An example of type inference system
Heimdell/kern
Heimdell/kern-hs
Heimdell/light-maze
Minecraft mod about optics
Heimdell/LR-sharp
LR table parser implementation in F#
Heimdell/monoidal-map
Data.Map wrapper with Monoid/Semigroup instance that honors values
Heimdell/mptc
Implementation of typeclass resolution
Heimdell/r1u
Rank-1 unification, replica of https://hackage.haskell.org/package/unification-fd
Heimdell/tea-combine
Combinator library for building "The Elm Arcitecture"-powered applications with ease
Heimdell/yard
Very simple parser combinator library