Repositories

ollef repositories

80 supported repositories

Show repositories with indexed issues
ollef/BidirectionalHaskell

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

Last commit Aug 27, 2020

 (134 stars) (12 forks) (0 indexed issues) (0 open good first issues)
ollef/EarleyHaskell

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

Last commit May 14, 2023

 (377 stars) (24 forks) (1 indexed issue) (1 open good first issue)
ollef/FunSharpF#

Learning F#, nothing to see here

Last commit Mar 6, 2018

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/Fuse.JSONUno

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

Last commit Feb 9, 2017

 (4 stars) (1 fork) (0 indexed issues) (0 open good first issues)
ollef/Generate-CHaskell

Embedded C code generation DSL for Haskell.

Last commit Mar 25, 2019

 (29 stars) (4 forks) (0 indexed issues) (0 open good first issues)
ollef/GrempaHaskell

Embedded grammar DSL and LALR parser generator

Last commit Dec 15, 2016

 (8 stars) (2 forks) (0 indexed issues) (0 open good first issues)
ollef/RegFileStudyStarlark

Last commit Aug 31, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/bazel-orfsStarlark

Last commit Oct 24, 2025

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/bevy_xpbdRust

2D and 3D physics engine based on Extended Position Based Dynamics for Bevy.

Last commit Nov 18, 2023

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/boundHaskell

Combinators for manipulating locally-nameless generalized de Bruijn terms

Last commit May 9, 2017

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/braces-be-goneHaskell

Get those pesky braces out of your face

Last commit Oct 29, 2017

 (49 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/by-valueC++

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

Last commit Nov 2, 2015

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/concurrent-hashtableHaskell

A thread-safe hash table in Haskell

Last commit Feb 27, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/coronastatus.noCSS

Rapporter din helsetilstand slik at vi sammen får bedre oversikt over smittespredningen

Last commit Mar 16, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/dactyl-manuform-mini-keyboardOpenSCAD

Last commit Nov 7, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/ddlRust

(Alpha stage software) A declarative data definition language for formally specifying binary data formats.

Last commit Sep 1, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/dependent-hashmapHaskell

Dependent hash maps

Last commit Jan 31, 2026

 (14 stars) (6 forks) (0 indexed issues) (0 open good first issues)
ollef/dependent-sumHaskell

Dependent sums and supporting typeclasses for comparing and displaying them

Last commit Mar 11, 2021

 (0 stars) (1 fork) (0 indexed issues) (0 open good first issues)
ollef/deriving-compatHaskell

Backports of GHC deriving extensions

Last commit Jul 18, 2017

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/deriving-gcompareHaskell

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

Last commit Apr 25, 2019

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)