Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
☆41Sep 18, 2026Updated this week
Alternatives and similar repositories for ELTE-func-lang
Users that are interested in ELTE-func-lang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Dec 15, 2025Updated 9 months ago
- Chemical programming framework based on Banâtre's Gamma☆11Feb 11, 2017Updated 9 years ago
- A simple std::vector-style array for C☆12Jul 13, 2018Updated 8 years ago
- just another compiler experiment☆14Jan 11, 2017Updated 9 years ago
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆80Aug 26, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Ap…☆23Jul 6, 2021Updated 5 years ago
- Literate Haskell support for Markdown☆150Jun 7, 2026Updated 3 months ago
- A regex crate using Brzozowski derivatives.☆28Apr 24, 2025Updated last year
- Publishes curated news about the Haskell programming language.☆154Updated this week
- Experimental tool for writing dynamic Markdown docs that embed interactive explorable visualizations☆30Mar 15, 2022Updated 4 years ago
- Efficient and easy to use rendering framework for real-time visualization based on WebGPU☆128Feb 17, 2026Updated 7 months ago
- Implementation of the blindbid logic within Zero Knowledge Proofs☆20Sep 15, 2021Updated 5 years ago
- ☆193Aug 17, 2026Updated last month
- A modular game engine and ECS for Haskell☆157Jan 30, 2026Updated 7 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Wrap promises, never use .catch again☆25Jan 11, 2023Updated 3 years ago
- agda-mode for neovim☆190Jul 24, 2026Updated last month
- WebGPU Ray Tracing eXtension☆166Oct 8, 2023Updated 2 years ago
- The Happy parser generator for Haskell☆322Apr 13, 2026Updated 5 months ago
- An implementation of Raft in Rust.☆40Dec 22, 2022Updated 3 years ago
- Rust crate for writing repetitive code easier and faster.☆45Jan 3, 2023Updated 3 years ago
- Dependent type checker using normalisation by evaluation☆277Sep 5, 2024Updated 2 years ago
- 🐠 Generate secret, user-specific colors for emails so your users don't get phished 🐡☆42Apr 9, 2019Updated 7 years ago
- A simple library for reporting compiler/interpreter errors☆271Aug 11, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A proof assistant for higher-dimensional type theory☆303Updated this week
- RusticWitcher is a powerful Rust-based toolkit designed for data export and anonymization tasks, specifically tailored for working with P…☆55Updated this week
- A programming language for the modern world.☆42Aug 25, 2019Updated 7 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆443Updated this week
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆52Apr 23, 2026Updated 4 months ago
- Pretty Useful Pup let's you write assertions about the architecture of your Rust project☆58Updated this week
- Tutorials for Gio, the GUI framework in Go.☆241Mar 30, 2026Updated 5 months ago
- The Lambda I/O Foundation Manifest.☆56Nov 28, 2016Updated 9 years ago
- Verified Software Toolchain☆507Sep 3, 2026Updated 2 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- RTS game/engine in Rust and WebGPU☆359Sep 11, 2023Updated 3 years ago
- Modular register allocator algorithms☆105Oct 4, 2022Updated 3 years ago
- The Media Server NixOS Module☆425Sep 13, 2026Updated last week
- A simple, thread-safe memory manager for 64bit C++ applications and games. Focus is on preventing heap fragmentation in the absence of go…☆83Jan 12, 2025Updated last year
- Granular builds of Rust projects for Nix☆469Jun 19, 2025Updated last year
- Re-imagined approach to application design and architecture☆89Jun 19, 2026Updated 3 months ago
- Flat message buffers with direct mapping to Rust types without packing/unpacking☆108Jul 13, 2026Updated 2 months ago