unworthyEnzyme

unworthyEnzyme's Stars

• sinclairzx81/typebox

  Json Schema Type Builder with Static Type Resolution for TypeScript

  Language:TypeScript5.2k165

• rxi/lite

  A lightweight text editor written in Lua

  Language:Lua7.9k356

• pipecat-ai/pipecat

  Open Source framework for voice and multimodal conversational AI

  Language:Python4.2k433

• Automattic/harper

  The Grammar Checker for Developers

  Language:Rust2.9k65

• webyrd/Barliman

  Prototype smart text editor

  Language:Scheme1.1k30

• UChicago-PL/smyth

  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

  Language:OCaml545

• stassa/louise

  Polynomial-time Meta-Interpretive Learning

  Language:Prolog1187

• logic-and-learning-lab/Popper

  An inductive logic programming system

  Language:Python21237

• yorukot/superfile

  Pretty fancy and modern terminal file manager

  Language:Go8.6k195

• mxgmn/Blog

  About math, programming and procedural generation

  1209

• marimo-team/marimo

  A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.

  Language:Python9k327

• microsoft/BitNet

  Official inference framework for 1-bit LLMs

  Language:C++12.6k881

• mxgmn/MarkovJunior

  Probabilistic language based on pattern matching and constraint propagation, 153 examples

  Language:C#7.6k318

• google-deepmind/mujoco

  Multi-Joint dynamics with Contact. A general purpose physics simulator.

  Language:Jupyter Notebook8.5k864

• localsend/localsend

  An open-source cross-platform alternative to AirDrop

  Language:Dart55.8k3k

• tinygrad/tinygrad

  You like pytorch? You like micrograd? You love tinygrad! ❤️

  Language:Python27.4k3k

• hazelgrove/hazel

  Hazel, a live functional programming environment with typed holes

  Language:Reason85553

• jaredly/j3

  Another attempt to realize my programming language

  Language:JavaScript21

• graninas/Pragmatic-Type-Level-Design

  Code and materials for my book "Pragmatic Type Level Design"

  Language:Haskell1109

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.9k439

• VictorTaelin/Interaction-Calculus

  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

  Language:Rust78355

• hwayne/lets-prove-leftpad

  Proving leftpad correct two-dozen different ways

  Language:SystemVerilog65362

• titzer/virgil

  A fast and lightweight native programming language

  Language:Shell1.2k52

• titzer/wizard-engine

  Research WebAssembly Engine

  Language:WebAssembly39239

• cdisselkoen/llvm-ir

  LLVM IR in natural Rust data structures

  Language:LLVM56248

• jrop/pratt

  A Pratt parser builder.

  Language:TypeScript11

• capnproto/capnproto

  Cap'n Proto serialization/RPC system - core tools and C++ library

  Language:C++11.8k931

• GyulyVGC/sniffnet

  Comfortably monitor your Internet traffic 🕵️‍♂️

  Language:Rust18.9k570

• chshersh/pragmatic-category-theory

  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

  Language:OCaml971

• Stirling-Tools/Stirling-PDF

  #1 Locally hosted web application that allows you to perform various operations on PDF files

  Language:Java48.7k4k