Data modeling and versioning language with automatic evolution derivation
☆24Updated this week
Alternatives and similar repositories for baboon
Users that are interested in baboon are comparing it to the libraries listed below
Sorting:
- ☆14Feb 12, 2026Updated 2 weeks ago
- Our slides for meetups and conferences☆16Feb 8, 2021Updated 5 years ago
- The seamless translation layer☆25Feb 9, 2018Updated 8 years ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Jun 5, 2023Updated 2 years ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37Feb 20, 2026Updated last week
- ☆51Feb 3, 2026Updated 3 weeks ago
- ☆10Oct 11, 2022Updated 3 years ago
- Orchestration and memory for multi-agent systems☆14Feb 6, 2026Updated 3 weeks ago
- Generate 3d printable braille from text using OpenJsCad☆16Aug 3, 2013Updated 12 years ago
- Go SDK and CLI for LM Studio: manage, interact, and run LLMs via WebSocket API☆11Sep 8, 2025Updated 5 months ago
- Dynamo DB Database Done Scala-way☆29Sep 27, 2021Updated 4 years ago
- ☆34Jan 19, 2026Updated last month
- ☆15Mar 11, 2025Updated 11 months ago
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 2 weeks ago
- Extend JUnit 5 with a more flexible fixture style.☆10May 27, 2022Updated 3 years ago
- Organización Territorial del Paraguay en SQL☆10Jul 4, 2022Updated 3 years ago
- 🍏 Go Bindings for Apple Metal☆13Jul 19, 2023Updated 2 years ago
- Python implementation of Gnutella for CS 114 P2P systems☆12Mar 23, 2012Updated 13 years ago
- ANSI X9.24 DUKPT libraries and tools☆15Updated this week
- UUID V1, V6, V7 & TypeID generation with ZIO☆12Updated this week
- Qor Admin - Instantly create a beautiful, cross platform, configurable Admin Interface and API for managing your data in minutes.☆10Dec 14, 2021Updated 4 years ago
- A BDD testing framework integrating Gherkin-style tests with ZIO’s effect system☆12May 9, 2025Updated 9 months ago
- Bridging Large Language Models with Scala 3 Functions☆11Aug 31, 2024Updated last year
- A simple toy project for playing around with some implicit resolution tricks☆12May 6, 2021Updated 4 years ago
- Interact with Gemini Live API (Audio) for Scala☆19Sep 7, 2025Updated 5 months ago
- RS232 / Serial interface for go☆19Jul 17, 2013Updated 12 years ago
- Incremental sbt builds for CI environments.☆10Sep 2, 2025Updated 5 months ago
- PHP-FPM status monitor via Elastic's libbeat☆11Jan 12, 2017Updated 9 years ago
- A repository to ask @bevacqua anything.☆10Mar 5, 2016Updated 9 years ago
- ☆10Feb 16, 2026Updated last week
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Paraguay: Ley que crea el Ministerio de Tecnologías de la Información y la Comunicación y establece su Carga Orgánica.☆10Aug 30, 2018Updated 7 years ago
- i2p c++ implementation☆19Feb 21, 2015Updated 11 years ago
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 8 years ago
- A wrapper around rotor library for rust which provides C API and scripting language bindings☆11Apr 13, 2016Updated 9 years ago
- winston logging transport for AMQP (e.g. RabbitMQ)☆10Apr 12, 2022Updated 3 years ago
- Provide binary wheels for using ffmpeg with pyglet on certain platforms☆11Oct 6, 2019Updated 6 years ago
- Golang Estonia meetup resources, slides, code snippets etc.☆11Jul 26, 2022Updated 3 years ago