disco
Functional programming language
A language designed to teach basic functional programming principles in the context of discrete mathematics.
Functional teaching language for use in a discrete mathematics course
165 stars
6 watching
23 forks
Language: TeX
last commit: 12 months ago
Linked from 1 awesome list
discrete-mathematicsfunctional-programmingprogramming-languageteaching
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 cdiggins/plato | A statically typed functional language designed to reduce boilerplate code and improve performance by leveraging immutable data structures and abstract concepts. | 80 |
 st3v3nmw/morph | A functional programming language with strong type system and lazy evaluation, aiming to provide a powerful and expressive platform for building concurrent and parallel applications. | 1 |
 liam-ilan/crumb | An interpreted language designed to support functional programming with features like dynamic typing and garbage collection. | 418 |
 zatonovo/lambda.r | A programming language and syntax for functional programs in R with type checking and pattern matching | 216 |
 hfoffani/hypolambda | A compact functional programming language for .NET with a syntax based on Python. | 0 |
 evincarofautumn/kitten | An experimental language designed for simplicity and safety in functional programming | 1,103 |
 zilch-lang/zilch | A language designed to provide a fully-fledged functional programming language with focus on performance and ease of use despite its low-level aspect. | 25 |
 tadeuzagallo/verve-lang | A functional programming language designed to ease the transition from object-oriented paradigms | 345 |
 barbuz/husk | A functional programming language that combines golfing and simplification of code through type inference. | 77 |
 relevance/functional-koans | A collection of learning tools and exercises for functional programming in various languages. | 156 |
 id1019/functional-programming | A collection of LaTeX sources and instructions for generating PDFs from exercises in a course on functional and concurrent programming. | 79 |
 zesterer/tao | A statically-typed functional language with extensive type system features and optimization techniques, aimed at supporting totality, optimization, learning, and compiler development. | 1,098 |
 wisn/jargon-pemrograman-fungsional | Provides a glossary of terms and explanations for functional programming concepts in a simple and accessible way. | 70 |
 jonathanvdc/micron | A minimalistic pure functional programming language implemented in F# | 2 |
 vorov2/ela | A modern functional programming language with support for dynamic typing and lazy evaluation. | 23 |