zant

zant's Stars

• httpie/cli

  🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.

  Language:Python34.2k858773.7k

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.6k105189409

• 3b1b/videos

  Code for the manim-generated scenes used in 3blue1brown videos

  Language:Python8.6k132671.8k

• pretzelhammer/rust-blog

  Educational blog posts for Rust beginners

  Language:Rust7.7k18631406

• zesterer/chumsky

  Write expressive, high-performance parsers with ease.

  Language:Rust3.7k24285157

• erigontech/erigon

  Ethereum implementation on the efficiency frontier https://docs.erigon.tech

  Language:Go3.2k623.2k1.2k

• grame-cncm/faust

  Functional programming language for signal processing and sound synthesis

  Language:C++2.6k89623327

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k120634360

• ethereum/fe

  Emerging smart contract language for the Ethereum blockchain.

  Language:Rust1.6k38408192

• jdah/jdh-8

  An 8-bit minicomputer with a fully custom architecture

  Language:C1.3k213191

• poljar/weechat-matrix

  Weechat Matrix protocol script written in python

  Language:Python96634248122

• Bleuje/processing-animations-code

  A set of Processing animations, which have commented code

  Language:Processing43011016

• ethereum/evmc

  EVMC – Ethereum Client-VM Connector API

  Language:C35634164314

• Mesabloo/diagnose

  A simple library for reporting compiler/interpreter errors

  Language:Haskell26031519

• luc-tielen/eclair-lang

  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

  Language:Haskell22242213

• ewasm/hera

  Hera: Ewasm virtual machine conforming to the EVMC API

  Language:C++1821810450

• agda/agda2hs

  Compiling Agda code to readable Haskell

  Language:Agda1792218840

• ImperialCollegeLondon/M40001_lean

  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course

  Language:Lean15711214

• solidityj/solidity-antlr4

  Solidity grammar for ANTLR4

  Language:ANTLR12291965

• leonardoalt/dl_symb_exec_sol

  Symbolic execution engine written in Solidity, based on Difference Logic.

  Language:Solidity109416

• rsnikhil/Forvis_RISCV-ISA-Spec

  Formal specification of RISC-V Instruction Set

  Language:Haskell9718319

• ditto-lang/ditto

  👌 A smol functional language that targets other languages

  Language:Rust623962

• finiteloop/compiler

  Generic scaffolding for an end-to-end LLVM-based compiler

  Language:C++35414

• andystanton/glfw-skeleton

  :skull: A skeleton OpenGL C++ app bootstrapped with glfw, glad, and glm.

  Language:C++256220

• olrtg/nvim-rename-state

  Rename the getter and the setter of a state hook in react/solidjs at the same time.

  Language:Lua23131

• ernius/mergesort

  Merge sort correctness proof

  Language:Agda11300

• ghasshee/pen

  A compiler into EVM code

  Language:OCaml8301

• lsh/intrinsic-triangulations-rs

  Following along with the Geometry Processing with Intrinsic Triangulations course in Rust.

  Language:Rust8100

• vmchale/linkedin-madlibs

  Source for linkedin article generator

  Language:Haskell540

• bollu/captainslog

  Documenting the PhD slog, one day at a time

  231