Fluent API generator
☆42Jan 23, 2026Updated 2 months ago
Alternatives and similar repositories for silverchain
Users that are interested in silverchain are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A fluent API generator☆26Jan 26, 2026Updated 2 months ago
- ☆13Feb 28, 2022Updated 4 years ago
- A Notebook Environment for Safe and Efficient Exploration☆14Jul 16, 2023Updated 2 years ago
- Python library that builds FFI between Python and Euslisp.☆11Mar 14, 2020Updated 6 years ago
- A programming language and environment for microcontrollers☆23Mar 11, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 10 months ago
- Savina is an Actor Benchmark Suite.☆38Feb 10, 2021Updated 5 years ago
- Flapi is an API generator for Java, which generates 'smart' interfaces for improved fluency in your code.☆60Oct 12, 2020Updated 5 years ago
- A functional fluent API generator☆36Dec 30, 2022Updated 3 years ago
- 2015年度後期 計算機科学第一 講義☆13Jan 26, 2016Updated 10 years ago
- Python type hints are Turing complete.☆33Nov 24, 2022Updated 3 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Oct 9, 2023Updated 2 years ago
- A strongly-typed, compiled dialect of Python.☆13Jan 28, 2024Updated 2 years ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Convert OCaml Types between different major versions☆14May 23, 2022Updated 3 years ago
- Toolchain for faster database tests☆13Oct 22, 2024Updated last year
- Common Lisp SPARQL query generation library☆12Aug 3, 2019Updated 6 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Type Error Feedback via Analytic Program Repair☆16Mar 25, 2023Updated 3 years ago
- VeriFastに関する文書の日本語訳置き場☆15Oct 15, 2018Updated 7 years ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Aug 4, 2018Updated 7 years ago
- A Usermode Hookable Filesystem Library☆45Apr 23, 2019Updated 6 years ago
- Examples, one-liners and snippets for Apache Camel☆11Sep 23, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 🔍 Code Search Tools & Experiments☆12Mar 1, 2026Updated 3 weeks ago
- OCaml visual programming editor based on Blockly.☆66Apr 22, 2019Updated 6 years ago
- ☆14Sep 3, 2025Updated 6 months ago
- Language with Clojure-like syntax and semantics based on EoPL + Shift/Reset☆15Jun 27, 2020Updated 5 years ago
- improving stack trace for let monadic☆27Apr 12, 2021Updated 4 years ago
- ActiveMQ Docker with (remote) JMX☆14Feb 7, 2025Updated last year
- Let Vert.x applications interact with Camel endpoints☆18Feb 16, 2026Updated last month
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 3 months ago
- ScaLALR : LALR parser generator for embedded DSLs in Scala☆13Feb 20, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🔍 Like grep, but more powerful than you can possibly imagine☆16Jan 15, 2018Updated 8 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆34Jan 23, 2012Updated 14 years ago
- ☆26Sep 29, 2022Updated 3 years ago
- WebUI library for Gauche☆13Aug 19, 2023Updated 2 years ago
- A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.☆30Oct 20, 2025Updated 5 months ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆15Feb 26, 2026Updated last month