Repositories

ollef repositories

80 supported repositories

Show repositories with indexed issues
ollef/rockrsRust

Rock in Rust

Last commit Feb 16, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/rope-benchHaskell

Last commit Jan 15, 2022

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/rope-utf16Haskell

Last commit Feb 4, 2018

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/rope-utf16-splayHaskell

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

Last commit Jan 14, 2022

 (14 stars) (3 forks) (0 indexed issues) (0 open good first issues)
ollef/rust-nbe-benchRust

Last commit May 12, 2024

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/satireRust

Satisfaction

Last commit Feb 26, 2020

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/servantHaskell

Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!

Last commit Aug 23, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/setup-stackJavaScript

Github action for setting up haskell stack

Last commit Nov 6, 2019

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

Functional programming with fewer indirections

Last commit May 24, 2020

 (631 stars) (24 forks) (4 indexed issues) (4 open good first issues)
ollef/sixtyHaskell

Dependent type checker using normalisation by evaluation

Last commit Sep 5, 2024

 (275 stars) (8 forks) (0 indexed issues) (0 open good first issues)
ollef/stackageShell

"Stable Hackage": vetted consistent packages from Hackage

Last commit Aug 7, 2017

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/system-f-omega-agdaAgda

A formalization of System Fω in Agda

Last commit Dec 23, 2025

 (20 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/system-reaHaskell

Dad made me do it

Last commit Apr 1, 2018

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/text-ropeHaskell

A wrapper around Text for fast line/column navigation and logarithmic concatenation

Last commit Jan 16, 2023

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

Implementing Vimperator/Pentadactyl as a WebExtension.

Last commit Nov 24, 2017

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/vim-fuseVim Script

Last commit Nov 14, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/vim-svorskVim Script

Vim for Swedes in Norway

Last commit Oct 1, 2018

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
ollef/vim-vixenJavaScript

Vim vixen

Last commit Nov 26, 2017

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

Linux utility to make control key send escape key events when pressed on its own.

Last commit Apr 1, 2012

 (2 stars) (109 forks) (0 indexed issues) (0 open good first issues)
ollef/xenoHaskell

Fast Haskell XML parser, fork with UTF-8 name support

Last commit Mar 25, 2018

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