omrzv / matam_tests_spring2022Links
Tests for Matam course, Spring semester, 2022
☆24Updated 3 years ago
Alternatives and similar repositories for matam_tests_spring2022
Users that are interested in matam_tests_spring2022 are comparing it to the libraries listed below
Sorting:
- Resource gathering + programming game☆902Updated this week
- CSCI 499 — Advanced Applications: A Hunter Fall 2025 Course☆26Updated 2 months ago
- CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course☆28Updated 4 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,058Updated 6 months ago
- Learn Python for free using open-source notebooks in Hebrew.☆1,083Updated 8 months ago
- ☆23Updated 4 years ago
- Haskell implemented with combinators☆676Updated this week
- An easy to use, cross platform, GUI library for writing Haskell applications.☆645Updated this week
- Functional reactive web and mobile applications, with batteries included.☆1,020Updated last month
- A fast, flexible and modern template for beginners and experts.☆19Updated 2 years ago
- BNF Converter☆616Updated 3 weeks ago
- Árbol de Correlativas de LCC☆10Updated 3 years ago
- Project: M36 Relational Algebra Engine☆940Updated 2 weeks ago
- A modern proof language☆3,720Updated 11 months ago
- Industrial-strength monadic parser combinator library☆966Updated last week
- Full-blown preprocessor metaprogramming☆1,037Updated 3 months ago
- The Mercury logic programming system.☆979Updated this week
- An interpreter for learning and exploring pure λ-calculus☆464Updated 4 years ago
- Functional programming with fewer indirections☆776Updated 5 years ago
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,958Updated 3 years ago
- Liquid Types For Haskell☆1,279Updated this week
- Jelly is a recreational programming language inspired by J.☆903Updated 5 years ago
- A fast functional language based on two level type theory☆392Updated 3 years ago
- A human readable quasi-concatenative programming language☆258Updated 11 months ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆448Updated 4 months ago
- 🌀 Safe, performant, user-friendly and lightweight Haskell standard library☆731Updated last week
- Minimal implementations for dependent type checking and elaboration☆753Updated 4 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆684Updated 3 weeks ago
- Algebraic data types for C99☆1,473Updated 9 months ago
- A programming language with static memory management based on λ-calculus☆1,007Updated 3 months ago