Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
☆41Oct 2, 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:
- ☆13Dec 15, 2025Updated 9 months ago
- In-game warp menu for Rain World☆16Jun 4, 2026Updated 4 months ago
- Realm, a mod loader for Rain World. AKA RwModLoader☆14Dec 18, 2022Updated 3 years ago
- ☆22Jun 19, 2025Updated last year
- Reference implementation for "Temporal Set Inversion for Animated Implicits" (SIGGRAPH 2023)☆21Sep 15, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Nix flake for the Helium browser☆47Updated this week
- A maintained fork of preload - an adaptive readahead daemon for faster Linux app startups☆32Jan 14, 2026Updated 8 months ago
- A minimal renderer to play with Rust, Vulkan, Render graphs, Raytracing and ReSTIR☆35Jun 19, 2026Updated 3 months ago
- Very simple Vulkan Video Encode example☆28Apr 27, 2025Updated last year
- 👔 FunMacs - Yet Another Lightweight Emacs Configuration, Using KISS philosophy.☆51Nov 13, 2025Updated 10 months ago
- Workshop-esque for modded regions.☆41May 27, 2026Updated 4 months ago
- GHC version of haskell-src-exts exactPrint☆73Updated this week
- A library containing game AI algorithms.☆39Mar 3, 2026Updated 7 months ago
- A simple std::vector-style array for C☆12Jul 13, 2018Updated 8 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.
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆80Aug 26, 2026Updated last month
- Thread like an assembly line☆16Nov 7, 2023Updated 2 years ago
- Literate Haskell support for Markdown☆150Jun 7, 2026Updated 4 months ago
- A regex crate using Brzozowski derivatives.☆28Apr 24, 2025Updated last year
- ☆114Jan 12, 2026Updated 8 months ago
- NixOS support for the ROCm graphics stack (rocm.github.io)☆97Jun 28, 2023Updated 3 years ago
- Publishes curated news about the Haskell programming language.☆154Oct 2, 2026Updated last 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☆129Feb 17, 2026Updated 7 months 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.
- Inversion of Control that's designed for ease of use and debugging☆19Jan 25, 2026Updated 8 months ago
- A modular game engine and ECS for Haskell☆157Jan 30, 2026Updated 8 months ago
- Wrap promises, never use .catch again☆25Jan 11, 2023Updated 3 years ago
- agda-mode for neovim☆193Jul 24, 2026Updated 2 months ago
- An esoteric programming language, using box-drawing characters☆29Feb 24, 2025Updated last year
- The Happy parser generator for Haskell☆322Apr 13, 2026Updated 5 months ago
- A Vulkan based render engine☆158Updated this week
- 🔒 ZK-WASM: Zero-Knowledge Proofs in Rust 🦀, compiled to WebAssembly 🕸️, bridged with JavaScript 🚀☆28May 26, 2023Updated 3 years ago
- 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.
- 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
- Relational Streams for Java☆39Feb 5, 2023Updated 3 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☆272Aug 11, 2024Updated 2 years ago
- POJO validation using annotation processing☆61Sep 28, 2026Updated last week
- A proof assistant for higher-dimensional type theory☆306Updated this week