Search Results - RepositoryStats

142

3.5k

mit

75

A next-gen functional language

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

Created 2018-07-13

619 commits to master branch, last one 15 days ago

write-you-a-haskell sdiehl

256

3.3k

mit

192

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

63

1.3k

mit

39

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

36

735

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 9 months ago

lambda-8cc woodrush

16

610

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 about a year ago

HOL HOL-Theorem-Prover

129

597

other

48

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

19,985 commits to develop branch, last one a day ago

lambda-talk glebec

42

495

mit

18

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 3 months ago

pLam slovnicki

17

444

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

360

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 2 years ago

lambda pagarme

42

317

unknown

126

🔮 Estudos obscuros de programação funcional

php ramda ramdajs javascript lambda-calculus functional-programming

Created 2017-05-22

41 commits to master branch, last one 5 years ago

curryhoward Chymyst

15

255

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 2 years ago

lambdalisp woodrush

10

225

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

cognate cognate-lang

9

204

bsd-2-clause

7

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,108 commits to master branch, last one 4 months ago

elsa ucsd-progsys

20

181

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 7 months ago

awesome-functional-studies lambda-study-group

15

173

unknown

13

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 about a year 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 about a year ago

combinators-js benji6

10

136

unknown

4

:bird: Some combinators

haskell combinator lambda-calculus combinatory-logic functional-programming

Created 2015-08-12

100 commits to master branch, last one 3 months 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 2 years ago

church benji6

10

126

mit

4

:church: Church Encoding in JS

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

Created 2015-12-12

271 commits to master branch, last one 29 days ago

LSTS andrew-johnson-4

3

99

mit

4

Large Scale Type Systems (programming language)

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

Created 2021-09-10

1,376 commits to main branch, last one 2 months ago