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☆20Dec 29, 2018Updated 7 years ago
- Tic-Tac-Toe with F#, Azure Functions, HATEOAS and Property-Based Tests☆18Jan 25, 2018Updated 8 years ago
- A miniature version of the l4 language☆13Jun 29, 2025Updated 8 months ago
- ☆19Jan 16, 2024Updated 2 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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
- GDB is the GNU debugger. Forked from bminor's mirror.☆18Jan 6, 2022Updated 4 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆25May 28, 2025Updated 9 months ago
- Myself as a Package☆16Apr 11, 2025Updated 11 months ago
- 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.☆26Aug 5, 2025Updated 7 months ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Visual Studio Linter for F#☆35Jun 13, 2021Updated 4 years ago
- GPT-4 Passes the Bar☆28Dec 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
- Prolog, Datalog, languages, resources, and beyond!☆33Feb 10, 2026Updated last month
- 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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 10 years ago
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆52May 12, 2019Updated 6 years ago
- ☆14Mar 13, 2026Updated last week
- Haxe Shader Wrangler (hxsw) - a port of glsw☆16Jun 12, 2020Updated 5 years ago
- Python CZMQ bindings☆31Sep 2, 2017Updated 8 years ago
- OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)☆15Apr 21, 2019Updated 6 years ago
- Notes and examples for a talk covering the ES6 metaprogramming types and techniques☆15May 11, 2022Updated 3 years ago
- ☆39Jun 11, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Main repository for the Research Programme in Computational Law☆37Jul 10, 2024Updated last year
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- A command-line RDAP client.☆21Feb 19, 2026Updated last month
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆23Jun 2, 2019Updated 6 years ago
- A tiny embedded scripting language implemented in Scala.☆25Jan 11, 2019Updated 7 years ago
- Uses Google's Directions API to calculate commute times to/from potential homes☆13Jul 3, 2019Updated 6 years ago