oflatt

oflatt's Stars

• zulip/zulip

  Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

  Language:Python21.8k3789.4k8k

• elm/compiler

  Compiler for Elm, a functional language for reliable webapps.

  Language:Haskell7.6k2011.7k663

• racket/racket

  The Racket repository

  Language:Racket4.8k1452.2k663

• bozbez/win-capture-audio

  An OBS plugin that allows capture of independant application audio streams on Windows, in a similar fashion to OBS's game capture and Discord's application streaming.

  Language:C++3.8k49236207

• KDE/kdenlive

  Free and open source video editor, based on MLT Framework and KDE Frameworks

  Language:C++3.3k790270

• elm/elm-lang.org

  Server and client code for the Elm website.

  Language:Elm2k74381367

• egraphs-good/egg

  egg is a flexible, high-performance e-graph library

  Language:Rust1.4k24140139

• herbie-fp/herbie

  Optimize floating-point expressions for accuracy

  Language:HTML7753313634

• reeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee/reeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

  reeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

  Language:C714112856

• sampsyo/bril

  an educational compiler intermediate representation

  Language:Rust5811451240

• egraphs-good/egglog

  egraphs + datalog!

  Language:Rust4711516955

• runtimeverification/k

  K Framework Tools 7.0

  Language:Python457391.2k150

• MPLLang/mpl

  The MaPLe compiler for efficient and scalable parallel functional programming

  Language:Standard ML354247620

• pd-rs/crankstart

  A barely functional, wildly incomplete and basically undocumented Rust crate whose aim is to let you write Games for the Playdate handheld gaming system in Rust.

  Language:Rust237152924

• mierau/gamekid

  Play Game Boy games on your Playdate.

  Language:C228171210

• ScroogeD2/owmidiconverter

  Play MIDI songs in Overwatch

  Language:JavaScript12851817

• uwplse/ruler

  Rewrite Rule Inference Using Equality Saturation

  Language:Rust1195159

• jackfirth/lens

  A Racket package for creating and composing pure functional lenses

  Language:Racket7471418

• SynBioHub/synbiohub

  Web application enabling users and software to browse, upload, and share synthetic biology designs

  Language:JavaScript74993623

• egraphs-good/eggcc

  Language:Rust54614412

• bennn/iPoe

  Interactive POetry Editor

  Language:Racket274660

• herbie-fp/rival

  Interval arithmetic for real computation

  Language:Racket212110

• oflatt/esonify

  An emacs extension that sonifies your code.

  Language:Emacs Lisp21533

• kframework/k-in-k

  Defining the semantics of K in K

  Language:Python112404

• Sazzach/ResourceDocUofU

  Language:C++3300

• rachitnigam/theforkjoin

  Website for TheForkJoin Podcast

  1