akaposi / ELTE-func-langLinks
Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
☆32Updated 2 months ago
Alternatives and similar repositories for ELTE-func-lang
Users that are interested in ELTE-func-lang are comparing it to the libraries listed below
Sorting:
- Algebraic graphs☆740Updated 3 weeks ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆433Updated this week
- 🕵️ Haskell STatic ANalyser☆583Updated 3 weeks ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆388Updated this week
- Minimal implementations for dependent type checking and elaboration☆693Updated this week
- A prompt engineering functional programming language☆419Updated this week
- higher-order, no-boilerplate monads☆1,056Updated 4 months ago
- An experimental library for Cubical Agda☆497Updated last week
- Functional reactive web and mobile applications, with batteries included.☆1,008Updated 2 weeks ago
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆510Updated last month
- Embedded language for high-performance array computations☆929Updated 2 months ago
- Industrial-strength monadic parser combinator library☆949Updated last month
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆627Updated 3 months ago
- VS Code extension for Haskell, powered by haskell-language-server☆581Updated last week
- A fast, flexible, fused effect system for Haskell☆657Updated 3 months ago
- Nix and Haskell in production☆1,160Updated last year
- Liquid Types For Haskell☆1,252Updated last week
- HoTTEST Summer School materials☆309Updated 2 months ago
- A formatter for Haskell source code☆1,009Updated this week
- Compiling to Categories☆454Updated last year
- A new Categories library for Agda☆384Updated last week
- An easy to use, cross platform, GUI library for writing Haskell applications.☆633Updated last year
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆255Updated this week
- The Agda standard library☆620Updated this week
- Efficient Haskell Arrays featuring Parallel computation☆397Updated last month
- Haskell GraphQL Api, Client and Tools☆417Updated last year
- Release with confidence, state-of-the-art property testing for Haskell.☆689Updated last month
- A simple library for reporting compiler/interpreter errors☆264Updated last year
- a fast, extensible, type driven Haskell ECS framework for games☆393Updated 2 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆559Updated 2 years ago