Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
☆40May 15, 2026Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- cé, avagy felsőbbrendű szintaxizálás☆16Jan 15, 2024Updated 2 years ago
- Converts Ant projects to Maven☆16Oct 26, 2009Updated 16 years ago
- Simple utility allowing a quick way to fetch all reactions from a message or fetch all messages from a channel. Written in TypeScript com…☆28Oct 26, 2023Updated 2 years ago
- Unofficial collection and documentation of hidden e-kréta APIs.☆55Sep 15, 2020Updated 5 years ago
- Unofficial documentation for versions 2 and up of the e-Kreta API.☆48Nov 2, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A minimal renderer to play with Rust, Vulkan, Render graphs, Raytracing and ReSTIR☆35Jun 19, 2026Updated last month
- LLVM code generation in Haskell☆54Oct 30, 2024Updated last year
- Rust programming, in Hungarian.☆89Sep 13, 2021Updated 4 years ago
- Smoothly interpolate keyframes☆14May 17, 2019Updated 7 years ago
- GHC version of haskell-src-exts exactPrint☆73Jul 12, 2026Updated last week
- Chemical programming framework based on Banâtre's Gamma☆10Feb 11, 2017Updated 9 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)☆78Jun 2, 2026Updated last month
- The Discord and IRC bridge with puppets! An IRC user is created for each Discord user, messages from IRC seamlessly appear on Discord, an…☆124Dec 5, 2025Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆21Jun 17, 2019Updated 7 years ago
- A regex crate using Brzozowski derivatives.☆28Apr 24, 2025Updated last year
- ☆114Jan 12, 2026Updated 6 months ago
- Example showing how to build a JS/WASM version of a C++ library using modern cmake☆20Apr 17, 2020Updated 6 years ago
- Efficient and easy to use rendering framework for real-time visualization based on WebGPU☆126Feb 17, 2026Updated 5 months ago
- BAR Lobby Client☆80Updated this week
- A modular game engine and ECS for Haskell☆155Jan 30, 2026Updated 5 months ago
- Mozilla's L20n localization framework for React Native☆29Oct 5, 2016Updated 9 years ago
- Microservices in the simplest way conceivable.☆29Aug 3, 2017Updated 8 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 superset of brainfuck with dynamic memory management.☆30Oct 2, 2020Updated 5 years ago
- ☆36Sep 28, 2023Updated 2 years ago
- agda-mode for neovim☆185Jul 6, 2026Updated 2 weeks ago
- SIEVE cache replacement policy for Rust.☆30Apr 28, 2026Updated 2 months ago
- WebGPU Ray Tracing eXtension☆160Oct 8, 2023Updated 2 years ago
- The Happy parser generator for Haskell☆321Apr 13, 2026Updated 3 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 last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple library for reporting compiler/interpreter errors☆270Aug 11, 2024Updated last year
- A proof assistant for higher-dimensional type theory☆283Updated this week
- RusticWitcher is a powerful Rust-based toolkit designed for data export and anonymization tasks, specifically tailored for working with P…☆55Jun 24, 2026Updated 3 weeks ago
- A programming language for the modern world.☆42Aug 25, 2019Updated 6 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆439Updated this week
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆52Apr 23, 2026Updated 2 months ago
- Pretty Useful Pup let's you write assertions about the architecture of your Rust project☆50Jun 9, 2026Updated last month