lean4

Similar projects

Found by comparing what the projects do, not just their names.

• fstarlang/fstar2.7K

  proof assistant

  A proof-oriented programming language designed to support formal verification and theorem-proving of software systems.

• gypsydave5/mostly-adequate-functional-answers0

  FP tutorial

  A book and project on learning functional programming in JavaScript by applying it to real-world software development

• mostlyadequate/mostly-adequate-guide-ru1.2K

  Functional programming guide

  Teaches functional programming in JavaScript with a focus on practical application and ease of use

• caiorss/functional-programming2.7K

  Functional Programming Guide

  An online tutorial on functional programming concepts, examples, and patterns illustrated in multiple programming languages

• raviqqe/fmm18

  Compiler

  A minimal functional programming language compiler target

• marshall-lee/software_foundations33

  Exercise repository

  A collection of Coq proof solutions to Software Foundations course exercises

• phreda4/r4128

  Stack-based language

  A Forth-based language with simplified concepts and built-in support for debugging and profiling tools.

• kongware/ftor44

  FP tool

  A programming language and runtime system designed to provide type-directed functional programming in JavaScript with debugging support

• zesterer/tao1.1K

  Functional language project

  A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development.

• kblake/functional-programming363

  Elixir tutorial

  Teaching functional programming concepts using Elixir language and providing accessible code examples

• dotnet/fsharp3.9K

  F# compiler

  The F# compiler, core library, and tools provide a platform for building functional programs in a statically typed language.

• dehun/learn-fp613

  FP tutorial

  A learning-by-doing course/tutorial on functional programming in Scala

• robrix/prelude411

  functional toolkit

  A Swift framework providing reusable functional programming tools

• fptudelft/fp101x-content-2015519

  FP tutorial

  A repository hosting course materials and lectures on functional programming in Haskell.

• mikaelbr/bacon-love48

  FRP tutorial

  A workshop module teaching Functional Reactive Programming concepts using Bacon.js