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 3 months ago
- U.S. Code Complexity☆23Aug 18, 2013Updated 12 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆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
- A Trash icon in your panel.☆14Nov 25, 2017Updated 8 years 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☆15Nov 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 5 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.
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 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
- 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 8 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆52May 12, 2019Updated 7 years ago
- Notes and examples for a talk covering the ES6 metaprogramming types and techniques☆15May 11, 2022Updated 4 years ago
- ☆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
- A command-line RDAP client.☆21May 7, 2026Updated last month
- A tiny embedded scripting language implemented in Scala.☆25Jan 11, 2019Updated 7 years ago
- Make OCaml native debugging awesome☆33Dec 30, 2019Updated 6 years ago
- D bindings to simple STL containers (WIP)☆11May 31, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Provides the FSharp.Core Library to implement F# modules in a non-conflicting manner. Also provides Add-FSharpType☆41Nov 17, 2023Updated 2 years ago
- Haxe FP Library☆35Jun 22, 2013Updated 13 years ago
- Jupyter wire protocol implementation enabling D plugins to be jupyter kernels☆13Apr 9, 2021Updated 5 years ago
- Author Apache Storm topologies with F# using statically-typed streams☆48May 25, 2026Updated last month
- A BASIC language interpreter. Does not conform to existing standards. Mostly a toy.☆11Feb 7, 2024Updated 2 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆11Jul 10, 2023Updated 2 years ago