Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
☆40May 15, 2026Updated last 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:
- Backup PostgreSQL to MinIO☆21Mar 29, 2026Updated last month
- Helm charts for deploying Memgraph, an open-source in-memory graph database.☆26Updated this week
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆75May 11, 2026Updated last week
- GHC version of haskell-src-exts exactPrint☆73May 13, 2026Updated last week
- Generate Nix expressions for building a Julia depot with a set of packages☆57Dec 2, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A simple std::vector-style array for C☆12Jul 13, 2018Updated 7 years ago
- Super simple validator library for both client and server side.☆17Oct 31, 2020Updated 5 years ago
- Mathlib search tool☆141May 14, 2026Updated last week
- Thread like an assembly line☆16Nov 7, 2023Updated 2 years ago
- A regex crate using Brzozowski derivatives.☆28Apr 24, 2025Updated last year
- NixOS support for the ROCm graphics stack (rocm.github.io)☆97Jun 28, 2023Updated 2 years ago
- SIEVE cache replacement policy for Rust.☆30Apr 28, 2026Updated 3 weeks ago
- Example showing how to build a JS/WASM version of a C++ library using modern cmake☆20Apr 17, 2020Updated 6 years ago
- Publishes curated news about the Haskell programming language.☆153May 14, 2026Updated last week
- 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.
- TeX integration in Makie☆101Updated this week
- Efficient and easy to use rendering framework for real-time visualization based on WebGPU☆127Feb 17, 2026Updated 3 months ago
- Inversion of Control that's designed for ease of use and debugging☆19Jan 25, 2026Updated 3 months ago
- ☆188May 15, 2026Updated last week
- Wrap promises, never use .catch again☆25Jan 11, 2023Updated 3 years ago
- agda-mode for neovim☆182Jan 22, 2026Updated 4 months ago
- A superset of brainfuck with dynamic memory management.☆30Oct 2, 2020Updated 5 years ago
- An implementation of Raft in Rust.☆39Dec 22, 2022Updated 3 years ago
- A proof assistant for higher-dimensional type theory☆256May 15, 2026Updated last week
- 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.
- Dependent type checker using normalisation by evaluation☆275Sep 5, 2024Updated last year
- Macro-based Rust ORM focused on developer ergonomics, inspired by Prisma and Drizzle☆89Dec 25, 2025Updated 4 months ago
- A simple library for reporting compiler/interpreter errors☆269Aug 11, 2024Updated last year
- Relational Streams for Java☆38Feb 5, 2023Updated 3 years ago
- Geographical plotting utilities for Makie.jl☆214May 3, 2026Updated 2 weeks ago
- POJO validation using annotation processing☆59Apr 14, 2026Updated last month
- 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☆432May 15, 2026Updated last week
- A simple, clean and fast implementation of the λ-calculus on JavaScript.☆49Apr 23, 2026Updated 3 weeks ago
- 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.
- exhaustive testing library☆66Jul 29, 2024Updated last year
- Resource gathering + programming game☆911Updated this week
- Verified Software Toolchain☆494Apr 26, 2026Updated 3 weeks ago
- RTS game/engine in Rust and WebGPU☆354Sep 11, 2023Updated 2 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Aug 28, 2017Updated 8 years ago
- crate2nix builds your cargo-based rust project crate-by-crate with nix☆496Updated this week
- Modular register allocator algorithms☆105Oct 4, 2022Updated 3 years ago