dmeoli / BeerEXLinks
Beer EXpert System is a rule-based expert system which suggests a beer to drink according to taste and meal
☆17Updated last year
Alternatives and similar repositories for BeerEX
Users that are interested in BeerEX are comparing it to the libraries listed below
Sorting:
- An open-source tool for data analysis aimed to help researchers with their experiments.☆13Updated last year
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 3 years ago
- TypeDB Drivers for Rust, Python, Java, Node.js, C, C++, and C#.☆49Updated last week
- A Graph library written in Rust for implementing your own algorithms in a Pregel fashion☆11Updated 6 months ago
- SICP in haskell, both exercises and sample codes.☆11Updated 9 years ago
- A rust crate for creating concurrent pipelines☆9Updated 7 years ago
- TypeDB (Core and Cloud) RPC Communication Protocol☆17Updated last week
- For hosting ATS3 and developing CodeDepot☆15Updated 3 weeks ago
- Java implementation of Alk. (in progress)☆10Updated last year
- ☆13Updated last year
- Certified proof checker for Fitch-style propositional logic proofs☆7Updated last year
- Project Template for IHP. Used by ihp-new. License: MIT☆11Updated last week
- The Codebase UI that ships with UCM☆16Updated 3 weeks ago
- The Flix Programming Book☆18Updated this week
- Foundations of Computer Science notebooks☆16Updated 9 months ago
- Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …☆46Updated 9 years ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated 3 months ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆14Updated 5 years ago
- A Scheme to Unlambda compiler☆18Updated 8 years ago
- ☆18Updated 2 months ago
- TypeDB Driver for Rust☆12Updated last year
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- The Cubicle model checker☆14Updated last year
- A general purpose relational language☆19Updated 5 years ago
- ☆14Updated last year
- FBP Tutorial (using a simple File Filter app)☆19Updated 4 years ago
- Slava Akhmechet's Lisp from 2006☆14Updated 11 years ago