TwoFX

TwoFX's Stars

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.6k356

• pkmn/engine

  A minimal, complete, Pokémon battle simulation engine optimized for performance

  Language:Zig937

• leanprover/verso

  Lean documentation authoring tool

  Language:Lean12814

• katjabercic/Lean-HoG

  Language:Lean53

• LadybirdBrowser/ladybird

  Truly independent web browser

  Language:C++26.7k1.1k

• leanprover-community/quote4

  Intuitive, type-safe expression quotations for Lean 4.

  Language:Lean7712

• kimwalisch/primecount

  🚀 Fast prime counting function implementations

  Language:C++31341

• camelid/type-layout

  Artifact for "Filling a Niche: Using Spare Bits to Optimize Data Representation"

  Language:Rust41

• datokrat/paradigmlab

  An experimental repo where I wallow in metacircularity and foolish abstractions. As a side product, this repository contains a hacked-together parser combinator library, a markdown parser, and a static site generator for my homepage at https://paulr.de. If you are interested in metaprogramming, take a look at the amalgam compiler.

  Language:Java1

• eclipse-serializer/serializer

  Serializer project

  Language:Java727

• datokrat/knowledge-synthesis

  1

• ThreeFx/ross

  Language:Rust2

• nomeata/incredible

  The Incredible Proof Machine

  Language:Haskell36236

• Vraier/aquaplanning

  Aquaplanning QUick Automated Planning.

  Language:Java1