☆15Sep 5, 2022Updated 3 years ago
Alternatives and similar repositories for icfpc2022
Users that are interested in icfpc2022 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10May 5, 2022Updated 4 years ago
- Moonli is a Julia/Python-ish syntax layer that transpiles to Common Lisp☆19Apr 29, 2026Updated 3 weeks ago
- Coq plugin for extracting Rust code☆20Apr 20, 2026Updated last month
- Collection of programming style guides used in Serokell☆12Jul 4, 2022Updated 3 years ago
- WIP pest 3.0☆18Apr 30, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Parser and generator for Discord's markdown, written in Rust☆17Nov 21, 2025Updated 6 months ago
- ☆11Aug 30, 2025Updated 8 months ago
- A conda-smithy repository for ctng-compilers.☆15May 15, 2026Updated last week
- ☆14Jun 18, 2024Updated last year
- hello world written in GNU linker script☆13Feb 8, 2021Updated 5 years ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated 2 years ago
- porousGasificationFoam for reacting flow through porous media. OpenFOAM-8 equivalent (release day) at https://github.com/btuznik/porousG…☆18Jun 8, 2025Updated 11 months ago
- The SMoL (Standard Model of Languages) Family of Languages☆22Jan 2, 2025Updated last year
- Ansible playbook to provide decent desktop experience☆14Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- nimo☆24Apr 21, 2026Updated last month
- Jacobi Model & Gauss Seidel Model & Successive Over Relaxation☆10Jan 5, 2020Updated 6 years ago
- Fast Capacitive Sensor Library☆15Dec 11, 2023Updated 2 years ago
- Code for the paper Copolymer Informatics with Multi-Task Deep Neural Networks☆14Sep 3, 2024Updated last year
- PL syntax macros.☆21Apr 24, 2026Updated last month
- Tool to create TODO tasks from Telegram messages in one tap☆21May 23, 2025Updated last year
- ☆19May 18, 2026Updated last week
- 分子動力学法ステップ・バイ・ステップ☆17Oct 13, 2019Updated 6 years ago
- nodejs ldap server on top of mongodb☆12Aug 15, 2014Updated 11 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.
- Python＆機械学習ライブラリ scikit-learn の使い方の練習コード集。機械学習の理論解説付き☆16Dec 2, 2018Updated 7 years ago
- Turkish fork of Semantle☆12Oct 3, 2024Updated last year
- Node.js backend package including: framework (NestJS), HTTP server (Fastify), HTTP client (Fetch), distributed caching (ioredis), ORM (Mi…☆14Oct 25, 2025Updated 7 months ago
- Generate PEG topology for GROMACS and LAMMPS☆26Aug 19, 2024Updated last year
- Gatsby starter setup with i18next with SSR☆13Aug 5, 2018Updated 7 years ago
- Introduction to Numerical Analysis for precise computation with Python☆19Jun 13, 2023Updated 2 years ago
- 🗿 Fork of headless-gl that can render to windows☆12Aug 24, 2025Updated 9 months ago
- Open Computational Chemistry in C++☆28May 19, 2026Updated last week
- The Steel separation logic library for F*☆38Apr 21, 2026Updated last month
- 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.
- ☆18Aug 20, 2023Updated 2 years ago
- OpenFAM Reference Implementation☆27Nov 18, 2025Updated 6 months ago
- Is your software respectful to its community?☆17Jan 15, 2025Updated last year
- Convert python structures into org-mode☆24Sep 26, 2019Updated 6 years ago
- Pure Swift 2.0 S-expression Parser☆17Sep 18, 2015Updated 10 years ago
- Samples for JSON book☆20Apr 15, 2024Updated 2 years ago
- Resource for the applied category theory Munich reading group☆22Oct 15, 2021Updated 4 years ago