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
- Elmish Xamarin Forms☆12Sep 8, 2017Updated 8 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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 9 months ago
- My F# solutions☆15Mar 6, 2022Updated 4 years ago
- A Trash icon in your panel.☆14Nov 25, 2017Updated 8 years ago
- UNIX is my IDE and Neovim my Emacs☆14Jun 12, 2025Updated 9 months 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆30Aug 26, 2011Updated 14 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
- Automatically exported from code.google.com/p/fuzzdb☆13Mar 23, 2015Updated 11 years ago
- 🤔📈 Atlas | The unified report library.☆17Updated this week
- Numerical and tensor functions for haxe☆13Mar 5, 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 10 years ago
- 2D focused, cross-platform Haxe game engine with multiple rendering backends☆11Jul 17, 2022Updated 3 years ago
- 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.
- XSL-FO to PDF renderer, I forked it from http://fonet.codeplex.com/☆18Mar 26, 2017Updated 9 years ago
- ☆14Mar 13, 2026Updated 2 weeks ago
- Python CZMQ bindings☆31Sep 2, 2017Updated 8 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
- 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
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆23Jun 2, 2019Updated 6 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.
- 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
- Make OCaml native debugging awesome☆32Dec 30, 2019Updated 6 years ago
- D bindings to simple STL containers (WIP)☆11May 31, 2019Updated 6 years ago
- This is a mirror of https://gitlab.com/pcasotti/plate☆17Sep 20, 2022Updated 3 years ago
- 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 12 years ago