aslakg's Stars
gasche/popl2018-papers
Link to preprints for POPL'18 and colocated events
peterhaneve/ONIMods
Peter Han's mods for Oxygen Not Included
tobspr-games/shapez.io
shapez is an open source base building game on Steam inspired by factorio!
gregr/dbKanren
Kanren with databases
koka-lang/koka
Koka language compiler and interpreter
cellist/Lilypond-Sheet-Music
Music typeset with the Lilypond system
PaulMorris/clairnote-sheet-music-library
Scripts and docs for the Clairnote sheet music library: http://clairnote.org/sheet-music-library/
PaulMorris/LilyPond-Clairnote
Code for creating sheet music in Clairnote music notation with GNU LilyPond. http://clairnote.org/software/
namin/metamk
Meta-Interpreters in miniKanren
inpla/inpla0.02
(old version) Inpla: Interaction nets as a programming language
namin/staged-miniKanren
staged relational interpreters: running with holes, faster
TiarkRompf/collapsing-towers
Collapsing Towers of Interpreters
xgrommx/idris-ecosystem
msakai/cpl
An interpreter of Hagino's Categorical Programming Language (CPL).
codedot/lambda
Macro Lambda Calculus
moonad-archive/Formality-JavaScript
An implementation of the Formality language in JavaScript
purescript-contrib/purescript-matryoshka
Generalized folds, unfolds, and traversals for fixed point data structures
zziz/pwc
This repository is no longer maintained.
ollef/sixten
Functional programming with fewer indirections
omoeller/cramshou
Cramer Shoup Cryto-System Java implementation
carp-lang/Carp
A statically typed lisp, without a GC, for real-time applications.
yanagiba/swift-transform
A source-to-source compiler that transforms Swift code and produces the equivalent source code in other programming languages.
Barry-Jay/bondi
source code for the bondi programming language
kyaroru/RNParallax
A react native scroll view component with Parallax header :p
ewmailing/IupCocoa
Cocoa/Mac backend for IUP (Portable native-GUI Interface) [switch to Cocoa branch]
ponylang/ponyc
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
yanagiba/swift-ast
A Swift AST parser and visitor that is written in Swift.
rxwei/Parsey
Swift Parser Combinators
perkeep/perkeep
Perkeep (née Camlistore) is your personal storage system for life: a way of storing, syncing, sharing, modelling and backing up content.
mthom/shen-minikanren
An embedding of miniKanren in Shen.