icfpcontest2024 / icfpc2024View external linksLinks
☆27Dec 19, 2024Updated last year
Alternatives and similar repositories for icfpc2024
Users that are interested in icfpc2024 are comparing it to the libraries listed below
Sorting:
- A minimalist / functional / dataflow programming language☆13May 1, 2024Updated last year
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39May 21, 2018Updated 7 years ago
- Experimental multidimensional arrays for F#☆11Nov 12, 2017Updated 8 years ago
- Software project status classification, adapted from the one used by the Andivionian Scientific Alliance.☆17Feb 4, 2024Updated 2 years ago
- A musical puzzle game☆20Mar 3, 2017Updated 8 years ago
- MLton for scalable multicore architectures☆59Mar 10, 2014Updated 11 years ago
- .NET library to work with Git repositories☆34Feb 7, 2026Updated last week
- XMPP ↔ Telegram bridge☆33Feb 5, 2026Updated last week
- Heroes of Might and Magic III damage calculator.☆16Jun 22, 2022Updated 3 years ago
- Jabber/XMPP client for Android☆20Oct 13, 2018Updated 7 years ago
- Jenkins jabber plugin☆26Sep 11, 2021Updated 4 years ago
- Build directory structure with symbolic links from audio tags☆18Oct 13, 2017Updated 8 years ago
- A playground for parsers, type checkers, interpreters, compilers, etc.☆41Jan 6, 2025Updated last year
- My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic desi…☆10Sep 23, 2020Updated 5 years ago
- convert MSBuild project files to C# pseudo-code☆10Nov 17, 2024Updated last year
- Script to automatically perform zonal OCR on a PDF and rename the PDF according to the results.☆15Jul 24, 2014Updated 11 years ago
- Source for the public website / documentation☆11Feb 2, 2026Updated last week
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 5 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- The assertion library, backward compatible to FluentAssertions☆13Jan 16, 2025Updated last year
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 5 years ago
- Contains Sample codes, additional tools, experimental or pilot features for LinkedIn Feathr Feature Store☆13Jun 21, 2023Updated 2 years ago
- A human data language☆14May 8, 2014Updated 11 years ago
- A plugin for Rider that enhances the MSBuild development experience☆13Feb 5, 2026Updated last week
- This library provides functions to manage Win32 Reparse Points such as Symbolic Links, Hard Links, and Junctions.☆12May 31, 2022Updated 3 years ago
- Currying in Clojure for fun and learning.☆11Feb 14, 2024Updated 2 years ago
- A reader that buffers ranged calls☆12May 17, 2022Updated 3 years ago
- A twisted version of J written in F#☆10Sep 28, 2017Updated 8 years ago
- WebAssembly specification, reference interpreter, and test suite.☆13Aug 31, 2023Updated 2 years ago
- Kamon Monix Integration☆10Mar 6, 2019Updated 6 years ago
- Samosa helps developers prioritize what needs to be tested.☆12Feb 23, 2023Updated 2 years ago
- A cross-platform DXF file viewer and inspector☆12Feb 9, 2025Updated last year
- Miscellaneous Racket utilities lacking a better home☆14Sep 14, 2025Updated 5 months ago
- ☆12Feb 11, 2019Updated 7 years ago
- Checkpointing PoW blockchains with HotStuff BFT☆10Jan 5, 2022Updated 4 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- COM runtime support for SharpGen generated interop code.☆13Sep 9, 2021Updated 4 years ago
- Манифест открытых игровых движков☆11Aug 1, 2021Updated 4 years ago
- Sources of WarCraft 2000: Nuclear Epidemic, in the form they were made available by the developer.☆13Jun 6, 2023Updated 2 years ago