zypeh

zypeh's starred repositories

sundial-gc

WIP: my Tweag open source fellowship project

Language:RustApache-2.0700

packcc

A parser generator for C

Language:CNOASSERTION33300

routetype-rs

Strongly typed routes for Rust

Language:Rust3500

unicode-collation

Haskell implementation of the Unicode Collation Algorithm

Language:HaskellNOASSERTION1700

neuron

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

Language:HaskellAGPL-3.0151000

haskellrustdemo

Example Integration for Embedding Rust in Haskell

Language:MakefileMIT3500

peridot

A fast functional language based on two level type theory

Language:HaskellMPL-2.038800

haskell-dangerous-functions

Documentation about Haskell's dangerous functions and a hlint config file to warn about them

Language:Haskell15800

pg-entity

A pleasant PostgreSQL database layer for Haskell

Language:HaskellMIT4100

hstream

HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.

Language:HaskellBSD-3-Clause70000

ts-pattern

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

Language:TypeScriptMIT1143200

flatparse

Fast parsing from bytestrings

Language:HaskellMIT14400

array-primops

Extra foreign primops for primitive arrays.

Language:HaskellBSD-2-Clause400

optics-ts

Type-safe, ergonomic, polymorphic optics for TypeScript

Language:TypeScriptMIT74300

passerine

A small extensible programming language designed for concise expression with little code.

Language:RustMIT103600

unagi-chan

A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API

Language:HaskellBSD-3-Clause12700

Kind

A modern proof language

Language:JavaScriptMIT800

OpenBB

Investment Research for Everyone, Everywhere.

Language:PythonNOASSERTION2684000

qtt

implementation of quantitative type theory with an impredicative sort and non-indexed inductive types

Language:Haskell700

compiler-2

Compiler 2 electric boogaloo, category theory edition

Language:HaskellBSD-3-Clause400

kose-font

A Chinese handwriting font derived from SetoFont. 一款衍生于「濑户字体」的中文手写字型。

OFL-1.1144800

context-switch

Comparison of Rust async and Linux thread context switch time.

Language:Rust70000

xxhash

Haskell implementation of the XXHash algorithm

Language:CNOASSERTION1600

TAL0

Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.

Language:CoqMIT2100

mold

Mold: A Modern Linker 🦠

Language:C++MIT1384900

REPL

The Learning Hub for UoL's Online CS Students

Language:SCSSMIT84100

universal-lambda

A minimal esolang based on lambda calculus

Language:RubyMIT1400

haskell-lockfree

A collection of different packages for CAS based data structures.

Language:Haskell10600

vas-quod

:aerial_tramway: Minimal linux container runtime

Language:RustBSD-2-Clause44200

linear-examples

Example uses of linear types

Language:Haskell4200