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 2 months ago
- 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
- A miniature version of the l4 language☆13Jun 29, 2025Updated 11 months ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 last year
- Myself as a Package☆16Apr 11, 2025Updated last year
- My F# solutions☆15Mar 6, 2022Updated 4 years ago
- Script to manage computer usage by time and schedule.☆18Jul 28, 2017Updated 8 years ago
- Explore legislation formulas and parameters.☆27Aug 5, 2025Updated 10 months ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years 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.
- 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 5 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- ☆30Aug 26, 2011Updated 14 years ago
- GPT-4 Passes the Bar☆29Dec 19, 2023Updated 2 years ago
- Minimal Perfect Hash-Table CL Implementation☆16Jan 31, 2018Updated 8 years ago
- Automatically exported from code.google.com/p/fuzzdb☆13Mar 23, 2015Updated 11 years ago
- Tutorial for the CHR system☆16Feb 8, 2021Updated 5 years ago
- 🤔📈 Atlas | The unified report library.☆17Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Prolog, Datalog, languages, resources, and beyond!☆34Feb 10, 2026Updated 4 months ago
- Numerical and tensor functions for haxe☆13Mar 5, 2018Updated 8 years ago
- 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
- XSL-FO to PDF renderer, I forked it from http://fonet.codeplex.com/☆18Mar 26, 2017Updated 9 years ago
- ☆15May 14, 2026Updated last month
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆52May 12, 2019Updated 7 years ago
- Python CZMQ bindings☆31Sep 2, 2017Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆39Jun 11, 2020Updated 6 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- A command-line RDAP client.☆21May 7, 2026Updated last month
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆23Jun 2, 2019Updated 7 years ago
- A tiny embedded scripting language implemented in Scala.☆25Jan 11, 2019Updated 7 years ago