gemoc-studio
☆28Mar 4, 2025Updated 11 months ago
Alternatives and similar repositories for gemoc-studio
Users that are interested in gemoc-studio are comparing it to the libraries listed below
Sorting:
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17May 29, 2024Updated last year
- Code and resources from the book ClojureReactiveProgramming☆19Mar 29, 2015Updated 10 years ago
- A meta modeling facility for textual model representation with Clojure.☆28Jan 17, 2026Updated last month
- Generic immutable recursive data representation API targeted at source code models and more.☆37Feb 1, 2026Updated last month
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- New, much faster implementation of a FIT parser in C#.☆11Dec 8, 2015Updated 10 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- libopencm3 c++ wrappers☆10Dec 25, 2020Updated 5 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- safe, no-cost and easy-to-use Cpp header to work safely with HW registers☆14Sep 15, 2024Updated last year
- jMolecules integration for IntelliJ based IDEs like IDEA☆10Feb 22, 2024Updated 2 years ago
- SvgBlazor is a simple library that allows you to write C# code that is transformed directly into svg elements. Thanks to its simple, yet …☆12May 18, 2023Updated 2 years ago
- python parser combinators (parsec) library☆11Oct 26, 2018Updated 7 years ago
- Semiconductor diode laser current driver☆10Nov 14, 2022Updated 3 years ago
- ☆15Aug 27, 2018Updated 7 years ago
- VB Exe Parser is an IDA script written in Python. This script will help you to parse VB program internal structures. It can find: Event, …☆17Oct 8, 2016Updated 9 years ago
- Dumping ground for whatever IDA Pro scripts I write☆16Oct 9, 2016Updated 9 years ago
- Repository to support my Kotlin, SpringBoot and WebSockets blog post☆11Nov 27, 2023Updated 2 years ago
- Sticky Headers Demo☆13Jan 28, 2019Updated 7 years ago
- MM1 modular reprap printer☆14Feb 4, 2016Updated 10 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- A small lisp compiler / interpreter written using idiomatic C++☆15Apr 16, 2016Updated 9 years ago
- Burn is a programming language written in Rust.☆28Sep 11, 2014Updated 11 years ago
- C# Specification for https://github.com/vega/vega-lite☆10Aug 12, 2021Updated 4 years ago
- Shell, JVM, and SSH command execution on Linux, MacOS, or Windows for Java 11+ and Kotlin☆12Feb 4, 2026Updated 3 weeks ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- ECU using the MPC5634 processor☆11Mar 26, 2015Updated 10 years ago
- Testing node.js or io.js app with wallaby.js☆10Oct 13, 2017Updated 8 years ago
- ☆11Aug 5, 2022Updated 3 years ago
- Playing with Clojure transducers☆11Aug 26, 2025Updated 6 months ago
- ☆15Feb 5, 2023Updated 3 years ago
- ☆22May 8, 2011Updated 14 years ago
- Dangerous Dave in TIC-80☆10Jun 22, 2022Updated 3 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 13 years ago
- ☆13Apr 17, 2020Updated 5 years ago
- ☆10Jun 27, 2019Updated 6 years ago
- SRFI libraries for Chez Scheme☆10Mar 21, 2010Updated 15 years ago
- Docker container to run IntelliJ IDEA Ultimate Edition☆11May 30, 2023Updated 2 years ago