jespera's Stars
jfeinstein10/SlidingMenu
An Android library that allows you to easily create applications with slide-in menus. You may use it in your Android apps provided that you cite this project and include the license in your app. Thanks!
HigherOrderCO/HVM
A massively parallel, optimal functional runtime in Rust
codenotary/immudb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
omcljs/om
ClojureScript interface to Facebook's React
google/trillian
A transparent, highly scalable and cryptographically verifiable data store.
LadybirdWebBrowser/ladybird
Truly independent web browser
oracle-samples/clara-rules
Forward-chaining rules in Clojure(Script)
fsprojects/SQLProvider
A general F# SQL database erasing type provider, supporting LINQ queries, schema exploration, individuals, CRUD operations and much more besides.
kfl/mosml
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
ReadyForZero/babbage
Easily gather data and compute summary measures declaratively.
vnmakarov/yaep
Yet Another Earley Parser
brandonbloom/metaclj
Staged compilation for Clojure through environment & special-form aware syntax-quoting.
mcgrof/compat-drivers
Linux kernel backport infrastructure
gfredericks/currj
Currying in Clojure
jespera/spdiff
Diff program for semantic patches
jespera/derivative-parser
Parsing with derivatives (cf. Yacc is dead)
kfl/verified-monkey-island
adamschoenemann/ttrack
A time-tracker I am writing in Haskell for fun and personal use
zoren/FluxSwiftWordList
zoren/verified-monkey-island