PolyB

PolyB's Stars

• godotengine/godot

  Godot Engine – Multi-platform 2D and 3D game engine

  Language:C++88.5k20.1k

• leanprover/LNSym

  Armv8 Native Code Symbolic Simulator in Lean

  Language:Lean4513

• leanprover-community/mathlib4

  The math library of Lean 4

  Language:Lean1.3k297

• UE4SS-RE/RE-UE4SS

  Injectable LUA scripting system, SDK generator, live property editor and other dumping utilities for UE4/5 games

  Language:C++1.2k157

• luajit-remake/luajit-remake

  An ongoing attempt to re-engineer LuaJIT from scratch

  Language:C++1.1k29

• leanprover-community/lean4-metaprogramming-book

  Language:Lean21150

• prathyvsh/pl-catalog

  A catalog of programming languages

  76223

• nuta/kerla

  A new operating system kernel with Linux binary compatibility written in Rust.

  Language:Rust3.3k89

• HigherOrderCO/Kind1

  A modern proof language

  Language:JavaScript3.5k141

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.2k157

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.5k388

• leanprover/vscode-lean4

  Visual Studio Code extension for the Lean 4 proof assistant

  Language:TypeScript15245

• leanprover-community/lean

  Lean 3 Theorem Prover (community fork)

  Language:C++43580

• fused-effects/fused-effects

  A fast, flexible, fused effect system for Haskell

  Language:Haskell64153

• kframework/X86-64-semantics

  Semantics of x86-64 in K

  Language:Assembly13511

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k215

• dtolnay/syn

  Parser for Rust source code

  Language:Rust2.8k308

• LordNoteworthy/cpu-internals

  Intel / AMD CPU Internals

  Language:C1.1k183

• rust-lang/rfcs

  RFCs for changes to Rust

  Language:Markdown5.9k1.6k

• egison/egison

  The Egison Programming Language

  Language:Haskell90732

• github/semantic

  Parsing, analyzing, and comparing source code across many languages

  Language:Haskell8.9k454

• mortberg/cubicaltt

  Experimental implementation of Cubical Type Theory

  Language:Haskell56776

• polysemy-research/polysemy

  :gemini: higher-order, no-boilerplate monads

  Language:Haskell1k71

• agda/agda

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

  Language:Haskell2.5k340

• tweag/capability

  Extensional capabilities and deriving combinators

  Language:Haskell2149

• rems-project/sail

  Sail architecture definition language

  Language:Isabelle58999

• passy/awesome-recursion-schemes

  Resources for learning and using recursion schemes.

  1.2k56

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.8k223

• the-lambda-church/coquille

  Interactive theorem proving with Coq in vim.

  Language:Vim script18668

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.8k636