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 6 months ago
- A framework for testing compilers' type checkers☆20Mar 17, 2026Updated 7 months ago
- Experimental CPSA -- the Cryptographic Protocol Shapes Analyzer experimental version☆25Oct 27, 2026Updated 2 weeks ago
- ☆11Jun 5, 2025Updated last year
- ☆22Jul 31, 2026Updated 3 months 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.
- 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
- Udacity Flying Cars Engineering Nanodegree☆11Aug 21, 2021Updated 5 years ago
- A formally verified symbolic cryptography library for Lean☆21Feb 18, 2026Updated 8 months ago
- ☆14Jun 23, 2026Updated 4 months 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
- Manifold k-NN: Accelerated k-NN Queries for Manifold Point Clouds☆14Jun 1, 2026Updated 5 months ago
- Kalman Filter Implementation in rust☆28Jul 15, 2026Updated 3 months ago
- My Suckless Build Using dwm + dwmblocks + st + xcompmgr aka. my "moderately" patched Suckless Tools☆12Feb 4, 2023Updated 3 years ago
- Facilities for generating dependently-typed data☆36Nov 2, 2026Updated last week
- 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.
- Formal specification of attestation mechanisms in Confidential Computing☆26Nov 22, 2025Updated 11 months ago
- ☆10Nov 7, 2025Updated last year
- A curated and updated list of relevant articles and repositories on Reinforcement Learning from AI Feedback (RLAIF)☆12Jan 24, 2024Updated 2 years ago
- ☆14Feb 16, 2026Updated 8 months ago
- KiMONo is a network inference tool for multi-omics datasets. The multi-omics network is calculated by sparse-group-LASSO regression and c…☆11Nov 21, 2022Updated 3 years ago
- [CVPR 2026 main] Official Implementation of "Ghost-FWL: A Large-Scale Full-Waveform LiDAR Dataset for Ghost Detection and Removal"☆13Nov 3, 2026Updated last week
- ☆12Aug 26, 2024Updated 2 years ago
- 2023 Capstone Design☆12Nov 2, 2023Updated 3 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Jan 31, 2024Updated 2 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.
- An implementation of "Strain based dynamics", SCA (2014)☆16Aug 30, 2017Updated 9 years ago
- A 3D CPU real-time fluid simulation based on the mls-mps algorithm.☆11Oct 5, 2021Updated 5 years ago
- Repository for (for now) filing bug reports about PLAI.☆17Jul 5, 2025Updated last year
- Your Universal Cellular Automata☆15Aug 28, 2026Updated 2 months ago
- An implementation of "Air Meshes for Robust Collision Handling", SIGGRAPH (2015)☆16Aug 30, 2017Updated 9 years ago
- So, I trained a MoE based a 124M (8x12M) architecture I coded from ground up to build a small instruct model, going through the below-men…☆14Jul 18, 2025Updated last year
- LudoGL - Magic Box☆17Jun 27, 2025Updated last year
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated 2 years ago
- Browser-based Boids simulation using C++/WebAssembly and Three.js.☆15Oct 3, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A detailed guide to setting up a QEMU/KVM for gaming.☆13Nov 24, 2023Updated 2 years ago
- simple math expression trained transformer☆14Jan 4, 2026Updated 10 months ago
- Implementations of different fluid dynamic solvers in C++☆11Jun 1, 2024Updated 2 years ago
- pbrt-r4 is a Rust implementation of pbrt-v4☆15Oct 27, 2026Updated 2 weeks 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
- African Medical QA Dataset☆14Sep 17, 2025Updated last year
- Public code release for "Medial Axis Preconditioning for Knot Untangling and Volume-Filling Curves" by Yuta Noma, Alec Jacobson, and Kara…☆11Jan 4, 2026Updated 10 months ago
Are these results useful?