☆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:
- 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
- The Integrated Information Environment☆17Feb 27, 2026Updated last week
- Software project status classification, adapted from the one used by the Andivionian Scientific Alliance.☆17Feb 4, 2024Updated 2 years ago
- Source code for my web site and blog - yet another remake!☆26Feb 12, 2026Updated 3 weeks ago
- Friedrich von Never: Engineer, Programmer, Gentleman.☆24Updated this week
- MLton for scalable multicore architectures☆59Mar 10, 2014Updated 11 years ago
- .NET library to work with Git repositories☆34Updated this week
- XMPP ↔ Telegram bridge☆33Updated this week
- Jenkins jabber plugin☆26Sep 11, 2021Updated 4 years ago
- Jabber/XMPP client for Android☆20Oct 13, 2018Updated 7 years ago
- Heroes of Might and Magic III damage calculator.☆16Jun 22, 2022Updated 3 years ago
- A playground for parsers, type checkers, interpreters, compilers, etc.☆41Jan 6, 2025Updated last year
- A logger for MSBuild that records a structured representation of executed targets, tasks, property and item values.☆10Nov 22, 2022Updated 3 years ago
- ☆11Aug 7, 2019Updated 6 years ago
- Highly reuseable classes and methods I find to be missing in the .NET Standard Library.☆11Mar 18, 2017Updated 8 years ago
- A lispy language that compiles into JavaScript, strongly influenced by Arc.☆14Feb 18, 2011Updated 15 years ago
- OLD. FOR NEW GO TO sha512sum.xyz☆11Aug 29, 2024Updated last year
- A twisted version of J written in F#☆10Sep 28, 2017Updated 8 years ago
- Koans to learn rhine☆13Updated this week
- Lightweight C# library that converts JSON-based query definitions into LINQ expressions. Ideal for building dynamic filters, predicates, …☆33Feb 28, 2026Updated last week
- My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic desi…☆10Sep 23, 2020Updated 5 years ago
- A plugin for Rider that enhances the MSBuild development experience☆13Updated this week
- A fan-remake of the classic strategy and platform game for MS-DOS and the Commodore Amiga remade for Microsoft Windows, Apple MacOS, Ubun…☆20Jan 25, 2026Updated last month
- A cross-platform DXF file viewer and inspector☆12Feb 9, 2025Updated last year
- convert MSBuild project files to C# pseudo-code☆10Nov 17, 2024Updated last year
- Sources of WarCraft 2000: Nuclear Epidemic, in the form they were made available by the developer.☆13Jun 6, 2023Updated 2 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
- This library provides functions to manage Win32 Reparse Points such as Symbolic Links, Hard Links, and Junctions.☆12May 31, 2022Updated 3 years ago
- Source for the public website / documentation☆11Feb 2, 2026Updated last month
- Kamon Monix Integration☆10Mar 6, 2019Updated 7 years ago
- An IoT thing in the shape of heart that tells you how long you've been married☆12Sep 17, 2019Updated 6 years ago
- Miscellaneous Racket utilities lacking a better home☆14Updated this week
- Script to automatically perform zonal OCR on a PDF and rename the PDF according to the results.☆15Jul 24, 2014Updated 11 years ago
- A modern wrapper around v2 MailChimp API☆43Nov 24, 2016Updated 9 years ago
- "Rage of Mages 2" server☆12Jan 17, 2026Updated last month
- COM runtime support for SharpGen generated interop code.☆13Sep 9, 2021Updated 4 years ago
- Contains Sample codes, additional tools, experimental or pilot features for LinkedIn Feathr Feature Store☆13Jun 21, 2023Updated 2 years ago
- Checkpointing PoW blockchains with HotStuff BFT☆10Jan 5, 2022Updated 4 years ago