dmeoli / BeerEX

Related projects ⓘ

Alternatives and complementary repositories for BeerEX

• lesguillemets / sicp-haskell
  SICP in haskell, both exercises and sample codes.
  ☆10Updated 8 years ago
• RCHowell / Sift
  Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.
  ☆21Updated 2 years ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆14Updated last week
• serokell / edna
  An open-source tool for data analysis aimed to help researchers with their experiments.
  ☆13Updated last year
• EKGF / rdfox-rs
  Rust interface for the RDFox database
  ☆10Updated 9 months ago
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆19Updated 2 months ago
• KonradHoeffner / rickview
  quick RDF viewer
  ☆26Updated 3 weeks ago
• losfair / sqlite-cache
  SQLite-based on-disk cache for Rust.
  ☆24Updated 3 months ago
• gamblevore / jeebox
  Clean extensible language for describing code, and human-language.
  ☆9Updated last year
• cormacrelf / incremental-rs
  ☆16Updated this week
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆11Updated 6 years ago
• 8l / pijul
  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, …
  ☆41Updated 9 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆12Updated 3 years ago
• bastibense / libharu_ng
  Generate PDFs using libharu from Rust
  ☆15Updated this week
• flix / book
  The Flix Programming Book
  ☆17Updated last week
• tatsuya6502 / bitwise_rust
  Rust-based Erlang NIF examples for showing Erlang VM's scheduler issues
  ☆9Updated 8 years ago
• facebookincubator / scrut
  Scrut is a testing toolkit for CLI applications. A tool to scrutinize terminal programs without fuss.
  ☆19Updated last week
• ketralnis / pipelines-rs
  A rust crate for creating concurrent pipelines
  ☆9Updated 6 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆16Updated 5 months ago
• slburson / fset-java
  Java implementation of the FSet functional collections library.
  ☆10Updated 8 years ago
• haskell-lisp / blaise
  Slava Akhmechet's Lisp from 2006
  ☆14Updated 10 years ago
• Adi-df / foucault
  A small markdown TUI note keeper
  ☆12Updated 2 months ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• dawn-search / dawnsearch
  The open source distributed web search engine that searches by meaning.
  ☆10Updated last year
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆32Updated this week
• feenkcom / libwinit
  C style wrapper for winit - Cross-platform window creation and management in Rust
  ☆10Updated 3 months ago
• thegeez / janet-postings
  Janet app on AWS Lambda
  ☆12Updated 2 years ago