righ1113

righ1113's Stars

• abo-junghichi/revapp-interpreter

  A simplest programing language based on lambda calculus, and, a simplest interpreter for that language.

  Language:C2

• ksrky/Plato

  A purely functional programming language based on higher-order polymorphic lambda calculus

  Language:Haskell19

• kobayashigarden/3xp1

  Language:Coq31

• coq-contribs/fermat4

  Diophantus's 20th Problem and Fermat's Last Theorem for n = 4

  Language:Coq6

• egison/egison-prover

  Proof writing language with Egison pattern matching

  Language:Haskell3

• yutaro-sakamoto/prove-monad

  Language:Idris1

• matz/streem

  prototype of stream based programming language

  Language:C4.6k237

• slburson/PTTP

  Prolog Technology Theorem Prover

  Language:Common Lisp82

• kanaka/mal

  mal - Make a Lisp

  Language:Assembly9.9k2.5k

• crystal-jp/techbookfest

  技術書典にcrystal-jpの席はあるらしいです

  Language:Makefile6

• iigura/Paraphrase

  Multi-core suitable Forth-like language

  Language:C++342

• cswiger/othello

  Othello board game for FORTH - works with latest gforth

  Language:Forth71

• fumieval/extensible

  Extensible records, variants, structs, effects, tangles

  Language:Haskell12718

• ysnrkdm/hamilcar

  Haskell Shogi program

  Language:Haskell92

• leanprover-community/lean

  Lean 3 Theorem Prover (community fork)

  Language:C++43381

• the-little-prover/j-bob

  Language:Scheme41861

• granule-project/granule

  A statically-typed linear functional language with graded modal types for fine-grained program reasoning

  Language:Haskell57033

• semorrison/lean-tidy

  Language:Lean75

• maxim1000/boolean-pythagorean-triples

  An exercise in optimizing solution for Boolean Pythagorean Triples problem

  Language:C++1

• ittutu/CITP

  Language:Makefile2

• ntabee/lean-mathgirls

  Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.

  Language:Lean12

• ncaq/sub-maude

  Maude language subset

  Language:Haskell3

• bmstu-iu9/refal-5-lambda

  Компилятор Рефала-5λ

  Language:C++7835

• momohatt/egison-trs

  Knuth-Bendix completion in Egison (and Haskell). 技術書典7

  Language:Haskell6

• Hexirp/googology

  Language:Haskell1

• satosystems/mc

  Multi-core on Haskell

  Language:Haskell1

• msakai/cpl

  An interpreter of Hagino's Categorical Programming Language (CPL).

  Language:Haskell1157

• gebner/hott3

  HoTT in Lean 3

  Language:Lean7311

• bostick/tuppence

  Tuppence Programming Language

  Language:C++3

• coq-community/fourcolor

  Formal proof of the Four Color Theorem [maintainer=@ybertot]

  Language:Coq15519