zant

zant's Stars

• 3b1b/videos

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

  Language:Python8.6k1.8k

• lsh/intrinsic-triangulations-rs

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

  Language:Rust8

• VictorTaelin/Caramel

  A modern syntax for the λ-calculus.

  Language:Haskell41113

• usagi/rust-memory-container-cs

  Rust Memory Container Cheat-sheet

  Language:Shell2.4k80

• kubernetes-sigs/external-dns

  Configure external DNS servers (AWS Route53, Google CloudDNS and others) for Kubernetes Ingresses and Services

  Language:Go7.8k2.6k

• rust-bakery/nom

  Rust parser combinator framework

  Language:Rust9.6k809

• Gabriella439/haskell-nix

  Nix and Haskell in production

  Language:Nix1.1k116

• SciML/SciMLTutorials.jl

  Tutorials for doing scientific machine learning (SciML) and high-performance differential equation solving with open source software.

  Language:CSS722127

• lettier/movie-monad

  :tv: A free and simple to use video player made with Haskell.

  Language:Haskell42225

• HeinrichApfelmus/reactive-banana

  Library for functional reactive programming in Haskell.

  Language:Haskell52470

• haskell-gi/haskell-gi

  Generate Haskell bindings for GObject-Introspection capable libraries

  Language:Haskell29475

• gap-system/gap

  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

  Language:GAP825162

• orhun/git-cliff

  A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️

  Language:Rust9.5k203

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.6k379

• ekmett/ad

  Automatic Differentiation

  Language:Haskell37373

• wasp-lang/haskell-handbook

  Best practices on how to be efficient with Haskell in production

  955

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.9k272

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k364

• tweag/ormolu

  A formatter for Haskell source code

  Language:Haskell97181

• tweag/asterius

  DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

  Language:Haskell2k58

• HigherOrderCO/Kind

  A modern proof language

  Language:Haskell3.6k143

• rumblesan/improviz

  DEPRECATED: A live-coded visual performance tool

  Language:Haskell906

• Apress/Ray-Tracing-Gems-II

  Source Code for "Ray Tracing Gems II: Next Generation Real-Time Rendering with DXR, Vulkan, and OptiX" by Adam Marrs, Peter Shirley, and Ingo Wald

  Language:C++88391

• crytic/building-secure-contracts

  Guidelines and training material to write secure smart contracts

  Language:Solidity2.3k350

• oxfeeefeee/goscript

  An alternative implementation of Golang specs, written in Rust for embedding or wrapping.

  Language:Rust1.5k62

• oxfeeefeee/kaiju

  A Bitcoin full node with high concurrency written in golang

  Language:Go6116

• bevyengine/bevy

  A refreshingly simple data-driven game engine built in Rust

  Language:Rust37.2k3.7k

• openethereum/openethereum

  (deprecated) The fast, light, and robust client for the Ethereum mainnet.

  Language:Rust1.6k357

• markaren/threepp

  C++20 port of three.js (r129)

  Language:C++63862

• nix-community/emacs-overlay

  Bleeding edge emacs overlay [maintainer=@adisbladis]

  Language:Nix518168