sharkdp / cube-composer
A puzzle game inspired by functional programming
☆2,003Updated last year
Related projects ⓘ
Alternatives and complementary repositories for cube-composer
- lamdu - towards the next generation IDE☆1,852Updated 3 weeks ago
- Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python☆2,688Updated 5 years ago
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,351Updated 3 years ago
- A visual Haskell☆720Updated 2 years ago
- QuineDB is a quine that is also a key-value store.☆580Updated 7 years ago
- Visual programming meets Haskell☆682Updated 7 years ago
- 7GUIs is a GUI programming usability benchmark.☆908Updated last year
- What I Wish I Knew When Learning Haskell☆2,568Updated 2 years ago
- e-book version of Bartosz Milewski's Category Theory for Programmers☆478Updated 6 years ago
- Maintainable configuration files☆4,230Updated 2 weeks ago
- thoughts on programming☆1,577Updated 2 months ago
- The Lux Programming Language☆1,686Updated this week
- How do the different communities talk?☆820Updated 5 months ago
- 10 papers that all PhD students in programming languages ought to know, for some value of 10☆896Updated 5 years ago
- Implementations of various type systems in OCaml.☆1,540Updated 9 years ago
- Miscellaneous articles. The readme is the table of contents.☆1,251Updated last year
- A collection of resources for learning type theory and type theory adjacent fields.☆2,166Updated 2 months ago
- A Dependently Typed Functional Programming Language☆3,436Updated 3 months ago
- A set of challenges for jump starting your understanding of monads.☆324Updated 3 years ago
- Blog post previews in need of peer review☆2,199Updated last year
- Command prefixing for continuous workflow using a single tool.☆1,228Updated 4 years ago
- A friendly programming language from the future☆5,809Updated this week
- Prototype smart text editor☆1,049Updated 5 months ago
- FP101x - Functional Programming MOOC 2015 Content Repository☆518Updated 8 years ago
- Let's simplify the way we write Lisp☆1,757Updated 3 months ago
- Deep Learning in Haskell☆1,449Updated 11 months ago
- The Ur/Web programming language☆808Updated 5 months ago
- Haskell to JavaScript compiler, based on GHC☆2,606Updated last year
- A data interchange format.☆1,880Updated 4 months ago
- A modern syntax for the λ-calculus.☆409Updated 8 years ago