ollef/navm

Stars
6
Rank 2,539,965 (Top 51 %)
Language
Rust
Created over 3 years ago
Updated almost 3 years ago

ollef/navm

ollef

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Not A Virtual Machine

sixten

Functional programming with fewer indirections

Earley

Parsing all context-free grammars using Earley's algorithm in Haskell.

sixty

Dependent type checker using normalisation by evaluation

Bidirectional

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

rock

braces-be-gone

Get those pesky braces out of your face

Generate-C

Embedded C code generation DSL for Haskell.

dependent-hashmap

Dependent hash maps

rope-utf16-splay

Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs

parsix

Adventures in parser combinators

region

Adventures in region inference

mirrored-keyboard-layouts

Mirrored XKB layouts for one-handed typing

Grempa

Embedded grammar DSL and LALR parser generator

navm-hs

Not a virtual machine

environment-bench

Benchmarking compiler representations of variable environments

incrementalism

Fuse.JSON

Convert various things (JavaScript values, Objective-C objects) to and from JSON in Uno

oslo-haskell

packrat

Adventures in packrat parsing

rope-utf16

ibuild

Indexed build systems a la carte

FunSharp

Learning F#, nothing to see here

vim-svorsk

Vim for Swedes in Norway

paws

Utility for automatically pausing and resuming music at appropriate times.

fenwick

Self-balancing Fenwick trees with logarithmic time monoidal prefix sums

by-value

Polymorphism without pointer indirections in C++, allowing you to store and pass subclass objects by value

llvm-irbuilder

IRBuilder for LLVM Haskell Bindings ( Experimental )

system-rea

Dad made me do it

deriving-gcompare

Derive instances for GEq and GCompare from the dependent-sum package

ollef.github.io

postgres-woobat

rope-bench

satire