ericwang385

ericwang385's Stars

• coq-community/coq-tricks

  Tricks you wish the Coq manual told you [maintainer=@tchajed]

  Language:Coq50522

• nushell/nushell

  A new type of shell

  Language:Rust32.8k1.7k

• andreasKroepelin/polylux

  A package for creating slides in Typst

  Language:Julia1.2k56

• zed-industries/zed

  Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

  Language:Rust50.9k3.2k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust35.7k953

• melpa/melpa

  Recipes and build machinery for the biggest Emacs package repo

  Language:Emacs Lisp2.8k2.5k

• UnivalencePrinciple/2LTT-Agda

  Formalization of 2LTT in Agda

  Language:Agda142

• jozefg/nbe-for-mltt

  Normalization by Evaluation for Martin-Löf Type Theory

  Language:OCaml1225

• BNFC/bnfc

  BNF Converter

  Language:TeX588165

• pest-parser/pest

  The Elegant Parser

  Language:Rust4.7k262

• jsiek/gradual-typing-in-agda

  Formalizations of Gradually Typed Languages in Agda

  Language:TeX563

• zijie0/HumanSystemOptimization

  健康学习到150岁 - 人体系统调优不完全指南

  13.2k966

• vladmandic/human-three-vrm

  Realtime VRM Humanoid Avatar Animation using Human Library and ThreeJS

  Language:TypeScript8218

• dorchard/effect-monad

  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

  Language:Haskell9811

• jldodds/coq-lean-cheatsheet

  A quick reference for mapping Coq tactics to Lean tactics

  Language:Lean694

• PLSysSec/lio

  Labeled IO Library

  Language:Haskell5722

• nikivazou/presentations

  Presentations on Liquid Haskell, type theory, and more

  Language:Haskell451

• ucsd-progsys/liquidhaskell

  Liquid Types For Haskell

  Language:Haskell1.2k139

• agda/agda-categories

  A new Categories library for Agda

  Language:Agda36967

• agda/cubical

  An experimental library for Cubical Agda

  Language:Agda459141

• python/typeshed

  Collection of library stubs for Python, with static types

  Language:Python4.4k1.8k

• brunoborges/toml-schema

  642

• briansmith/ring

  Safe, fast, small crypto using Rust

  Language:Assembly3.8k708

• SHUReeducation/autoAPI

  Create an CRUD API server directly from a table in database or/and a yaml file.

  Language:Rust2311

• agda/agda-stdlib

  The Agda standard library

  Language:Agda586239

• fredefox/cat

  A formalization of category theory in cubical Agda

  Language:Agda574

• ucarion/llvm-rust-getting-started

  A super-simple compiler demoing how to talk to LLVM from Rust

  Language:Rust958

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k380

• InitialTypes/Club

  Organization and planning for the Initial Types Club

  Language:Agda716

• varkor/quiver

  A modern commutative diagram editor for the web.

  Language:JavaScript2.4k83