Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
☆40May 15, 2026Updated last month
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:
- Import and export Cataclysm: Dark Days Ahead (CDDA) maps☆18Jul 23, 2023Updated 2 years ago
- LLVM code generation in Haskell☆54Oct 30, 2024Updated last year
- GHC version of haskell-src-exts exactPrint☆73May 27, 2026Updated last month
- Smoothly interpolate keyframes☆14May 17, 2019Updated 7 years ago
- A simple std::vector-style array for C☆12Jul 13, 2018Updated 7 years 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.
- Send deployment notifications to Honeybadger via GitHub Actions☆15Sep 19, 2024Updated last year
- Mathlib search tool☆143Jun 24, 2026Updated last week
- A regex crate using Brzozowski derivatives.☆28Apr 24, 2025Updated last year
- Publishes curated news about the Haskell programming language.☆152Jun 25, 2026Updated last week
- a library to make it easier to quickly hack on rust☆19May 11, 2025Updated last year
- Experimental tool for writing dynamic Markdown docs that embed interactive explorable visualizations☆30Mar 15, 2022Updated 4 years ago
- Microservices in the simplest way conceivable.☆29Aug 3, 2017Updated 8 years ago
- agda-mode for neovim☆184Jun 2, 2026Updated last month
- An implementation of Raft in Rust.☆40Dec 22, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The Happy parser generator for Haskell☆321Apr 13, 2026Updated 2 months ago
- A proof assistant for higher-dimensional type theory☆261Jun 18, 2026Updated 2 weeks 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
- Master tileset repository for Cataclysm: Dark Days Ahead☆381Updated this week
- Macro-based Rust ORM focused on developer ergonomics, inspired by Prisma and Drizzle☆89Dec 25, 2025Updated 6 months ago
- A simple library for reporting compiler/interpreter errors☆270Aug 11, 2024Updated last year
- 🐠 Generate secret, user-specific colors for emails so your users don't get phished 🐡☆42Apr 9, 2019Updated 7 years ago
- A cross-platform launcher for Cataclysm: DDA and BN☆496Feb 8, 2026Updated 4 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.
- 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☆436Updated this week
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆50Apr 23, 2026Updated 2 months ago
- Resource gathering + programming game☆911Jun 22, 2026Updated last week
- Verified Software Toolchain☆501Jun 17, 2026Updated 2 weeks ago
- TiML: A Functional Programming Language with Time Complexity☆85Aug 28, 2017Updated 8 years ago
- crate2nix builds your cargo-based rust project crate-by-crate with nix☆504Jun 24, 2026Updated last week
- Modular register allocator algorithms☆105Oct 4, 2022Updated 3 years ago
- 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Flat message buffers with direct mapping to Rust types without packing/unpacking☆108Sep 17, 2025Updated 9 months ago
- mini libraries / experimental tools and reusable snippets☆87Feb 8, 2026Updated 4 months ago
- 🎀 Just the cutest and tiniest queue/deque implementation!☆114Sep 1, 2025Updated 10 months ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆94Jan 31, 2021Updated 5 years ago
- A bunch of small crates that make writing Rust more fun☆262Oct 22, 2025Updated 8 months ago
- A bare-bones Twitter clone implemented in a single file☆734Apr 9, 2025Updated last year
- An attempt to better support Minecraft-related content for the Nix ecosystem☆572Jun 25, 2026Updated last week