robmanuel / Searching-Hidden-Initials-Thesis

Related projects ⓘ

Alternatives and complementary repositories for Searching-Hidden-Initials-Thesis

• geoffreylitt / json-sheets
  Riffs on spreadsheets for manipulating JSON and building GUIs
  ☆16Updated 4 years ago
• losfair / minichat
  Distributed real-time chat demo on Blueboat in 15 lines of JavaScript
  ☆10Updated 2 years ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆9Updated 7 months ago
• andrewmcwattersandco / github-statistics
  GitHub statistics
  ☆11Updated 2 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• mindbeam / mindbase
  A database for convergent intersubjectivity
  ☆21Updated 2 years ago
• bopwerks / omnino
  Omnino is a windowing system for web applications.
  ☆56Updated 11 months ago
• kronor-io / statecharts
  Implementation of statecharts in Postgresql
  ☆13Updated 5 months ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆12Updated 3 years ago
• muxup / pwr
  Paced web reader. An esoteric feed reader and workflow for keeping up to date online.
  ☆21Updated 4 months ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆15Updated 8 years ago
• Rajeev-K / eureka
  Lucene-based search engine for your source code
  ☆12Updated last year
• worm-blossom / macromania
  Macro-based string templating.
  ☆20Updated 2 months ago
• zby / answerbot
  answering questions using LLMs, search (RAG) and other tools - example code
  ☆11Updated 2 months ago
• jbroll / isbl
  ISBL - Information Systems Base Language
  ☆18Updated 10 years ago
• breck7 / particles.scroll.pub
  Particle Syntax Website
  ☆16Updated last month
• QuinnWilton / gleam_logic
  Logic programming with µKanren
  ☆11Updated 3 years ago
• gamblevore / jeebox
  Clean extensible language for describing code, and human-language.
  ☆9Updated last year
• andyk / headlong
  A framework for collecting a large human-sourced chain-of-thoughts dataset
  ☆12Updated 3 months ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆20Updated 2 years ago
• mmower / ergo
  Parser combinator library for Elixir
  ☆12Updated last month
• muromec / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆26Updated this week
• pzingg / fedi
  ActivityStreams and stuff in Elixir, ideas stolen from go-fed
  ☆9Updated last year
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• asg017 / sqlite-fastrand
  A SQLite extension for quickly generating random numbers, booleans, characters, and blobs
  ☆20Updated 11 months ago
• andrewchambers / janet-yacc
  An implementation of yacc for the janet programming language.
  ☆11Updated 3 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
• lezer-parser / lezer-grammar
  A Lezer grammar for Lezer grammars
  ☆14Updated last year