Materials related to my talk "Pat Helland and Me"
☆14Dec 24, 2019Updated 6 years ago
Alternatives and similar repositories for pat-helland-and-me
Users that are interested in pat-helland-and-me are comparing it to the libraries listed below
Sorting:
- CQRS Journey Guide☆12May 5, 2012Updated 13 years ago
- yet another monad lib for clojure☆94Jan 8, 2018Updated 8 years ago
- Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.☆26Jul 19, 2020Updated 5 years ago
- some quantile algorithm implementaton for stream data☆12Jul 24, 2018Updated 7 years ago
- Bare-bones boot + frontend + backend project template☆29Oct 11, 2016Updated 9 years ago
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆14Updated this week
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- DebugIt: Use specialization so you can debug-print a value without explicit (and viral) Debug trait bound. (Not really maintained. Uses …☆10Nov 27, 2021Updated 4 years ago
- A Solidity spec suite to test parsers for language compliance.☆11Dec 31, 2017Updated 8 years ago
- Regular expression derivatives and DFAs☆12Dec 26, 2023Updated 2 years ago
- Babashka pod for SQL Server☆10May 15, 2024Updated last year
- ☆28Sep 8, 2016Updated 9 years ago
- Mainline linux on ix4-300d☆13Jul 29, 2014Updated 11 years ago
- An SQL interface for AntidoteDB☆13Mar 18, 2018Updated 7 years ago
- https://straker.github.io/js13k-2018/☆11Sep 13, 2018Updated 7 years ago
- Pure Swift library of Decision Diagrams.☆10Jul 21, 2021Updated 4 years ago
- Red green style RxJs koans for your learning pleasure on the command line☆11Dec 13, 2017Updated 8 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago
- Examples of lambda calculus implementations using Typescript☆10Dec 30, 2022Updated 3 years ago
- Scala explained with code snippets☆10Dec 9, 2018Updated 7 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- A repository that contains examples for Spring HATEOAS Siren to showcase how to use the features provided by the library.☆12Mar 20, 2023Updated 2 years ago
- Typeset version of Chuck Moore's book: "Programming a Problem-Oriented-Language"☆13Oct 1, 2014Updated 11 years ago
- Rust API for the STM32F0 micro controller☆18Aug 7, 2018Updated 7 years ago
- The sample app for the Super Sweet Android Time course, a candy store app called Candy Coded. Continues from where the Try Android cours…☆10Oct 25, 2017Updated 8 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- Read-only mirror of https://xircles.codehaus.org/projects/jcsp/repos/primary/repo☆13Jun 30, 2014Updated 11 years ago
- Helpers for java☆13Jan 13, 2026Updated last month
- a simple example project using noir, overtone, and my cljs libraries☆24Nov 20, 2012Updated 13 years ago
- A Rust implementation of distributed replicated log based on the Raft algorithm☆49Oct 12, 2021Updated 4 years ago
- verifiable contracts using temporal modal logic☆18Mar 3, 2026Updated last week
- Automatic Saving For Eclipse 4☆17Jun 2, 2015Updated 10 years ago
- PonyMUD - A multiplayer text adventure game written in Pony☆11Aug 17, 2017Updated 8 years ago
- Backport Python 3.8+ typing utils & add issubtype & more☆12Nov 9, 2022Updated 3 years ago
- Clojure implementation of the W3C proposal R2RML: RDB to RDF mapping language☆25Mar 23, 2011Updated 14 years ago
- Syntax highlighting in Visual Studio Code☆11Feb 22, 2026Updated 2 weeks ago
- ☆11Dec 27, 2023Updated 2 years ago
- ☆12Aug 14, 2025Updated 6 months ago
- 👨🏽🍳 CookLang parser for .NET☆12May 21, 2023Updated 2 years ago