Mark Bolusmjak's repositories
json.pivot
Perform Pivot (sorting & table-building) operations on JSON data.
component-result
Streamline sub-component and page boilerplate in larger Elm apps.
jaro-winkler
Elm implementation of Jaro-Winkler similarity.
elm-external-domain-model
A sample Elm app where the domain data lives outside of the Elm app (e.g. a database over a network).
awesome-parenting
Parenting information & advice for expectant fathers. The first worldwide collaborative fatherhood guide
byrne-euclid
MetaPost + ConTeXt rendition of Oliver Byrne's "The first six books of the Elements of Euclid"
elm-comidi
MIDI parser in pure elm
elm-spa-example
A Single Page Application written in Elm
elm-ui
What if you never had to write CSS again?
elmboy
A Nintendo™ Game Boy™ Emulator written in Elm.
fisher
A plugin manager for Fish
horizon-elm-chat-app
Horizon chat example ported to Elm
ichiban-prolog
The only reasonable scripting engine for Go.
interactive-lp
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
lazy-list
Lazy Lists (or Sequences) for Elm
list-extra
Convenience functions for working with List.
LogicTransformers
Transformers from Horn Clause Programs to Code Running on Lightweight Python, Swift, Julia and C-based VMs
PGM
a chess engine in prolog
prolog-chess
Chess in Prolog
timeline-spa
timeline and elm-spa integration test
TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
z5h.github.io
personal site