Search Results - RepositoryStats

142

3.6k

mit

74

A modern proof language

moonad formality type-theory proof-language theorem-prover dependent-types lambda-calculus proof-languages functional-programming

Created 2018-07-13

279 commits to master branch, last one 12 days ago

write-you-a-haskell sdiehl

254

3.4k

mit

191

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

book type haskel compiler pdf-book evaluation type-system type-theory type-checking hindley-milner type-inference lambda-calculus functional-language functional-programming intermediate-representation

Created 2015-01-05

299 commits to master branch, last one 7 years ago

fp-core.rs JasonShin

66

1.4k

mit

40

A library for functional programming in Rust

hkt rust monad monoid comonad functor morphism applicative homomorphism category-theory lambda-calculus functional-programming

Created 2019-05-29

278 commits to master branch, last one 4 years ago

magic-in-ten-mins niltok

39

790

cc-by-4.0

8

十分钟魔法练习

adt hkt java monad tutorial formal-proofs lambda-calculus formal-verification functional-programming

Created 2020-11-09

94 commits to main branch, last one about a year ago

HOL HOL-Theorem-Prover

143

636

other

49

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

lambda-calculus theorem-proving higher-order-logic

Created 2009-10-29

20,392 commits to develop branch, last one a day ago

lambda-8cc woodrush

16

628

mit

9

x86 C compiler written in untyped lambda calculus

c compiler c-compiler lambda-calculus ski-combinator-calculus

Created 2022-09-26

118 commits to main branch, last one 2 years ago

lambda-talk glebec

42

515

mit

17

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

currying javascript combinators composition mathematics lambda-calculus church-encodings combinatory-logic theory-of-computation functional-programming

Created 2017-08-24

16 commits to master branch, last one 10 months ago

pLam slovnicki

17

451

mit

9

An interpreter for learning and exploring pure λ-calculus

church lambda language interpreter computability church-encoding lambda-calculus numeral-systems logic-programming computability-theory programming-language functional-programming

Created 2017-08-05

269 commits to master branch, last one 3 years ago

cedille cedille

27

369

mit

24

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

dependent-types lambda-calculus programming-language dependent-intersections

Created 2018-06-22

1,817 commits to master branch, last one 3 years ago

curryhoward Chymyst

16

257

apache-2.0

16

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

scala lambda-terms scala-macros theorem-prover code-generation lambda-calculus intuitionistic-logic functional-programming curry-howard-isomorphism automated-theorem-provers

Created 2017-12-12

88 commits to master branch, last one 3 years ago

cognate cognate-lang

11

247

bsd-2-clause

10

A human readable quasi-concatenative programming language

c forth closures compiler language forth-like interpreter combinatorics stack-language lambda-calculus prefix-notation natural-language proglangs-discord programming-language stack-based-language functional-programming based-stack-based-language

Created 2020-06-02

1,279 commits to master branch, last one 2 months ago

lambdalisp woodrush

10

235

mit

3

A Lisp interpreter written in untyped lambda calculus

lisp repl interpreter lambda-calculus lisp-interpreter

Created 2022-08-12

781 commits to main branch, last one about a year ago

elsa ucsd-progsys

21

182

mit

7

Elsa is a lambda calculus evaluator

haskell reduction lambda-calculus haskell-learning

Created 2017-03-11

78 commits to master branch, last one about a year ago

awesome-functional-studies lambda-study-group

17

178

unknown

14

A curated list of functional programming resources to study the fp paradigm

hacktoberfest lambda-calculus programming-languages

Created 2017-11-08

55 commits to master branch, last one 2 years ago

Y-Combinator-for-Non-programmers chibicode

9

160

unknown

7

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

react reactjs typescript y-combinator lambda-calculus functional-programming

Created 2018-06-29

3,469 commits to main branch, last one 2 years ago

combinators-js benji6

10

136

other

4

:bird: Some combinators

haskell combinator lambda-calculus combinatory-logic functional-programming

Created 2015-08-12

103 commits to master branch, last one 18 days ago

chemlambda-gui chorasimilarity

14

134

gpl-2.0

14

Life like molecular computers with artificial chemistry.

chemlambda simulation artificial-life lambda-calculus molecular-graphics artificial-chemistry

Created 2014-11-02

30 commits to master branch, last one 3 years ago

church benji6

10

128

other

4

:church: Church Encoding in JS

haskell church-encoding lambda-calculus combinatory-logic functional-programming

Created 2015-12-12

281 commits to master branch, last one 18 days ago

LSTS andrew-johnson-4

3

114

mit

3

Large Scale Type Systems (programming language)

ast lint lsts rust lexer parser compiler type-checking theorem-prover category-theory dependent-types error-reporting lambda-calculus proof-assistant refinement-types assisted-reasoning programming-language lambda-calculus-interpreter

Created 2021-09-10

1,422 commits to main branch, last one 20 days ago