Material for ProLaLa Keynote
☆14Feb 4, 2022Updated 4 years ago
Alternatives and similar repositories for ProLaLa2022
Users that are interested in ProLaLa2022 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Functional F# API for Cassandra☆20Mar 26, 2026Updated last month
- Tic-Tac-Toe with F#, Azure Functions, HATEOAS and Property-Based Tests☆18Jan 25, 2018Updated 8 years ago
- Elmish Xamarin Forms☆12Sep 8, 2017Updated 8 years ago
- U.S. Code Complexity☆23Aug 18, 2013Updated 12 years ago
- A miniature version of the l4 language☆13Jun 29, 2025Updated 10 months 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.
- ☆19Jan 16, 2024Updated 2 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- The code used to create and update the Open Australian Legal Embeddings, the first open-source embeddings of Australian legislative and j…☆13Feb 17, 2024Updated 2 years ago
- Creating a type provider☆17Sep 16, 2015Updated 10 years ago
- GDB is the GNU debugger. Forked from bminor's mirror.☆18Jan 6, 2022Updated 4 years ago
- ☆17Jul 25, 2023Updated 2 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆25May 28, 2025Updated 11 months ago
- Script to manage computer usage by time and schedule.☆18Jul 28, 2017Updated 8 years ago
- Explore legislation formulas and parameters.☆26Aug 5, 2025Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- UNIX is my IDE and Neovim my Emacs☆14Jun 12, 2025Updated 10 months ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Experiment with synthetic domain theory in cubical agda☆14Nov 8, 2022Updated 3 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Visual Studio Linter for F#☆35Jun 13, 2021Updated 4 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- Minimal Perfect Hash-Table CL Implementation☆16Jan 31, 2018Updated 8 years ago
- 🤔📈 Atlas | The unified report library.☆17Updated this week
- Prolog, Datalog, languages, resources, and beyond!☆34Feb 10, 2026Updated 2 months ago
- 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.
- Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)☆40Jul 6, 2018Updated 7 years ago
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions…☆24Jan 3, 2023Updated 3 years ago
- A logic programming library for F#☆46Apr 4, 2015Updated 11 years ago
- 2D focused, cross-platform Haxe game engine with multiple rendering backends☆11Jul 17, 2022Updated 3 years ago
- ☆15Apr 14, 2026Updated 3 weeks ago
- Haxe Shader Wrangler (hxsw) - a port of glsw☆16Jun 12, 2020Updated 5 years ago
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆52May 12, 2019Updated 6 years ago
- Notes and examples for a talk covering the ES6 metaprogramming types and techniques☆15May 11, 2022Updated 3 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Main repository for the Research Programme in Computational Law☆37Jul 10, 2024Updated last year
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆23Jun 2, 2019Updated 6 years ago
- A command-line RDAP client.☆21Feb 19, 2026Updated 2 months ago
- string_view implementation for libc++. This should be a short-lived repo☆12Jun 11, 2014Updated 11 years ago
- LFE SDL2 Examples using Loïc's Erlang NIF☆11Apr 29, 2016Updated 10 years ago
- Top-down interpreter for ASP programs with Constraints☆38Jun 30, 2025Updated 10 months ago