Alternatives and similar repositories for mangle:

Users that are interested in mangle are comparing it to the libraries listed below

• google / rune
  Rune is a programming language developed to test ideas for improving security and efficiency.
  ☆1,927Updated 5 months ago
• facebookincubator / Glean
  System for collecting, deriving and working with facts about source code.
  ☆1,186Updated this week
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆613Updated last month
• ichiban / prolog
  The only reasonable scripting engine for Go.
  ☆667Updated 5 months ago
• elfshaker / elfshaker
  elfshaker stores binary objects efficiently
  ☆2,303Updated 7 months ago
• EvgSkv / logica
  Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
  ☆1,960Updated this week
• jzimmerman / langcc
  langcc: A Next-Generation Compiler Compiler
  ☆1,724Updated 2 years ago
• vmware-archive / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,403Updated last year
• losfair / mvsqlite
  Distributed, MVCC SQLite that runs on FoundationDB.
  ☆1,473Updated last week
• cozodb / cozo
  A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
  ☆3,602Updated 4 months ago
• ekzhang / percival
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆615Updated 2 years ago
• polarsignals / frostdb
  ❄️ Coolest database around 🧊 Embeddable column database written in Go.
  ☆1,408Updated last week
• cashapp / pranadb
  ☆610Updated 3 weeks ago
• darklang / dark
  Darklang main repo, including language, backend, and infra
  ☆1,732Updated 2 weeks ago
• SnellerInc / sneller
  World's fastest log analysis: λ + SQL + JSON + S3
  ☆1,038Updated last year
• 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…
  ☆359Updated 10 months ago
• titzer / virgil
  A fast and lightweight native programming language
  ☆1,285Updated this week
• inkeliz / karmem
  Karmem is a fast binary serialization format, faster than Google Flatbuffers and optimized for TinyGo and WASM.
  ☆660Updated 2 years ago
• winfsp / hubfs
  File system for GitHub & GitLab
  ☆1,644Updated 2 years ago
• betaveros / noulith
  *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
  ☆1,146Updated 7 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,249Updated last week
• jamii / dida
  Differential dataflow for mere mortals
  ☆521Updated 3 years ago
• nanovms / nanos
  A kernel designed to run one and only one application in a virtualized environment
  ☆2,764Updated last week
• facebook / starlark-rust
  A Rust implementation of the Starlark language
  ☆792Updated this week
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆2,058Updated this week
• libsql / sqld
  LibSQL with extended capabilities like HTTP protocol, replication, and more.
  ☆899Updated last year
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆823Updated last year
• alantech / iasql
  Cloud Infrastructure as data in PostgreSQL
  ☆599Updated 2 months ago
• bazelbuild / starlark
  Starlark Language
  ☆2,624Updated 2 weeks ago
• tweag / nickel
  Better configuration for less
  ☆2,559Updated this week