funemy

Yanze Li's starred repositories

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Language:RustNOASSERTION44744 193 7491

unison

A friendly programming language from the future

Language:HaskellNOASSERTION5705 109 2725

plt

Programming Language Theory λΠ

Language:CSS5204 276 23

Celeste

Celeste Bugs & Issue Tracker + some Source Code

Language:C#MIT3528 128 40

git-branchless

High-velocity, monorepo-scale workflow for Git

Language:RustApache-2.03404 20 232

glommio

Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

Language:RustNOASSERTION2983 59 159

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

2106 93 9

flowistry

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Language:RustMIT1869 15 74

plzoo

Programming Languages Zoo

Language:OCamlMIT1443 51 18

pollster

A minimal async executor that lets you block on a future

Language:RustApache-2.0483 11 7

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.

Language:Haskell419 26 37