Team Unagi's repository for ICFPC 2025
☆14Sep 8, 2025Updated last year
Alternatives and similar repositories for icfpc2025
Users that are interested in icfpc2025 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Rust CLI tool for generating AI-friendly code banks from dependencies. Automatically parses Cargo.toml files, resolves versions, and ge…☆12Apr 23, 2026Updated 5 months ago
- A framework for testing compilers' type checkers☆20Mar 17, 2026Updated 7 months ago
- ☆22Jul 31, 2026Updated 2 months ago
- A formally verified symbolic cryptography library for Lean☆19Feb 18, 2026Updated 8 months ago
- Formal specification of attestation mechanisms in Confidential Computing☆26Nov 22, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A fast grid-based open-ended MARL environment☆18Oct 6, 2026Updated last week
- Kalman Filter Implementation in rust☆28Jul 15, 2026Updated 3 months ago
- Manifold k-NN: Accelerated k-NN Queries for Manifold Point Clouds☆14Jun 1, 2026Updated 4 months ago
- Fetch, flag/mark, delete/expire, and perform other batch operations on messages residing on IMAP servers. A very fast KISS mail fetcher w…☆15Oct 9, 2025Updated last year
- Facilities for generating dependently-typed data☆35Oct 5, 2026Updated 2 weeks ago
- cinrs — write C inside Rust☆31Updated this week
- ☆15Apr 16, 2024Updated 2 years ago
- A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.☆16Aug 28, 2023Updated 3 years ago
- LudoGL - Magic Box☆16Jun 27, 2025Updated last year
- 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.
- ☆12Aug 26, 2024Updated 2 years ago
- An implementation of "Strain based dynamics", SCA (2014)☆16Aug 30, 2017Updated 9 years ago
- My Suckless Build Using dwm + dwmblocks + st + xcompmgr aka. my "moderately" patched Suckless Tools☆12Feb 4, 2023Updated 3 years ago
- A 3D CPU real-time fluid simulation based on the mls-mps algorithm.☆11Oct 5, 2021Updated 5 years ago
- An implementation of "Air Meshes for Robust Collision Handling", SIGGRAPH (2015)☆16Aug 30, 2017Updated 9 years ago
- The fullstack clone version of Hugging Face Hub! An enterprise level of Next.js app and preparing for more..☆14Aug 3, 2023Updated 3 years ago
- 2023 Capstone Design☆12Nov 2, 2023Updated 2 years ago
- A detailed guide to setting up a QEMU/KVM for gaming.☆13Nov 24, 2023Updated 2 years ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆13Feb 16, 2023Updated 3 years ago
- Your Universal Cellular Automata☆15Aug 28, 2026Updated last month
- Implementations of different fluid dynamic solvers in C++☆11Jun 1, 2024Updated 2 years ago
- OpenGL GPU Spring Mass Model Softbody Simulation☆14Mar 22, 2026Updated 6 months ago
- Position-Based Dynamics 2d simulation on the GPU☆13Apr 13, 2021Updated 5 years ago
- Hiroki Sayama's artificial chemistry model -> http://bingweb.binghamton.edu/~sayama/SwarmChemistry/☆17Jul 25, 2022Updated 4 years ago
- Teach a computer to play any game.☆10Updated this week
- Repository for (for now) filing bug reports about PLAI.☆17Jul 5, 2025Updated last year
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Jan 31, 2024Updated 2 years 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.
- The SMoL (Standard Model of Languages) Family of Languages☆23Jan 2, 2025Updated last year
- A curated list of awesome Artificial Life simulators, papers and resources.☆19Dec 9, 2025Updated 10 months ago
- This repository demonstrates how to fine-tune the Google Gemma 2 2B model to improve its performance on Japanese instruction-following ta…☆12Aug 11, 2024Updated 2 years ago
- Ansible playbook to provide decent desktop experience☆15Aug 28, 2026Updated last month
- A simple jelly simulation using Position Based Dynamics☆14Jun 24, 2021Updated 5 years ago
- This is a fluid simulation made on rust using the technique of Smoothed Particle Hydrodynamics.☆13Mar 1, 2024Updated 2 years ago
- Basic entity linker for the SNOMED EL Challenge☆15Jan 22, 2024Updated 2 years ago