google / mangle

Related projects: ⓘ

• google / rune
  Rune is a programming language developed to test ideas for improving security and efficiency.
  ☆1,910Updated 3 weeks ago
• cozodb / cozo
  A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
  ☆3,346Updated last month
• obi1kenobi / trustfall
  A query engine for any combination of data sources. Query your files and APIs as if they were databases!
  ☆2,366Updated this week
• ichiban / prolog
  The only reasonable scripting engine for Go.
  ☆567Updated 2 months ago
• cashapp / pranadb
  ☆613Updated last year
• jzimmerman / langcc
  langcc: A Next-Generation Compiler Compiler
  ☆1,726Updated last year
• polarsignals / frostdb
  ❄️ Coolest database around 🧊 Embeddable column database written in Go.
  ☆1,288Updated this week
• losfair / mvsqlite
  Distributed, MVCC SQLite that runs on FoundationDB.
  ☆1,386Updated this week
• EvgSkv / logica
  Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
  ☆1,734Updated last week
• vmware / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,367Updated last year
• benbjohnson / postlite
  Postgres wire compatible SQLite proxy.
  ☆1,211Updated 11 months ago
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,222Updated this week
• breck7 / pldb
  PLDB: a Programming Language DataBase
  ☆729Updated this week
• jamsocket / plane
  A distributed system for running WebSocket services at scale.
  ☆1,688Updated last week
• facebookincubator / Glean
  System for collecting, deriving and working with facts about source code.
  ☆932Updated this week
• SnellerInc / sneller
  World's fastest log analysis: λ + SQL + JSON + S3
  ☆1,006Updated 8 months ago
• snaplet / postgres-wasm
  A PostgresQL server running in your browser
  ☆2,313Updated 5 months ago
• facebookexperimental / hermit
  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…
  ☆1,174Updated 3 weeks ago
• elfshaker / elfshaker
  elfshaker stores binary objects efficiently
  ☆2,294Updated last week
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆588Updated 2 weeks ago
• facebook / sapling
  A Scalable, User-Friendly Source Control System.
  ☆6,070Updated this week
• facebook / starlark-rust
  A Rust implementation of the Starlark language
  ☆694Updated this week
• pomsky-lang / pomsky
  A new, portable, regular expression language
  ☆1,279Updated 4 months ago
• postmanlabs / observability-cli
  The Akita CLI helps you make sense of API traffic. Passively watch API traffic with apidump. Model API behavior with apispec. Compare API…
  ☆353Updated 3 months ago
• jfecher / ante
  A safe, easy systems language
  ☆1,895Updated last month
• orlp / glidesort
  A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.
  ☆1,573Updated last year
• google / forma
  An efficient vector-graphics renderer
  ☆2,620Updated last year
• erg-lang / erg
  A statically typed language compatible with Python
  ☆2,660Updated this week
• storj / drpc
  drpc is a lightweight, drop-in replacement for gRPC
  ☆1,486Updated last month
• tweag / nickel
  Better configuration for less
  ☆2,347Updated this week