Abstract Syntax Definition Language (ASDL) ported to C++
☆13Aug 9, 2020Updated 5 years ago
Alternatives and similar repositories for asdl4cpp
Users that are interested in asdl4cpp are comparing it to the libraries listed below
Sorting:
- Compiler and code generator for a dialect of Abstract Syntax Description Language☆13Oct 13, 2018Updated 7 years ago
- This OpenGL Project is an implementation of a deferred shader. The program renders out, each into a separate G-Buffer, aspects of the ima…☆20Nov 15, 2013Updated 12 years ago
- Construct complex structures within single call + simple compile-time meta-inheritance model with mixins.☆13Dec 12, 2023Updated 2 years ago
- My NixOs dotfiles for my machines☆11Feb 13, 2026Updated last month
- Python module to reduce a cmake file to an AST☆32Apr 13, 2022Updated 3 years ago
- A python module for building OpenAPI compliant asynchronous Rest Servers. Auto documentation, serialization and validation in the same un…☆37Mar 22, 2024Updated last year
- XML to GPUI elements☆19Mar 4, 2024Updated 2 years ago
- ☆12Apr 10, 2019Updated 6 years ago
- NimScript Interoperability for Python☆15Sep 10, 2020Updated 5 years ago
- A curated list of awesome Common Expression Language (CEL) related resources. Inspired by awesome lists around the world 🕶️☆19Aug 3, 2023Updated 2 years ago
- Port of Uxn to digital hardware in the Logisim simulator☆16Dec 11, 2023Updated 2 years ago
- Embed and execute SQL in Markdown☆13Mar 21, 2024Updated last year
- It's easy to write nextjs App with Fable☆12Oct 25, 2023Updated 2 years ago
- ☆17Mar 1, 2026Updated 2 weeks ago
- ☆16Feb 25, 2026Updated 3 weeks ago
- A URL shortener web application written with WebSharper and ASP.NET Core☆13May 26, 2021Updated 4 years ago
- Formalization of 2LTT in Agda☆18Aug 6, 2025Updated 7 months ago
- Fable bindings for Office-js☆11Apr 1, 2022Updated 3 years ago
- An animated tree user interface made for Elmish applications☆10Dec 3, 2022Updated 3 years ago
- Implementation of generative semantic grammar.☆17Jun 2, 2022Updated 3 years ago
- Demo showing how to parse secdef files☆20May 12, 2020Updated 5 years ago
- The modular protocol framework based on Universal Composability☆17Jun 24, 2020Updated 5 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆19Aug 5, 2020Updated 5 years ago
- 从0开始写一个操作系统——《操作系统真象还原》☆12Sep 21, 2020Updated 5 years ago
- Semantic Parser with Execution☆13Dec 8, 2017Updated 8 years ago
- Neural Turing Machine☆13Jun 18, 2018Updated 7 years ago
- A PEG parser library for Kotlin/JVM☆23Updated this week
- Files for using dinit as system init on Void☆19Aug 25, 2024Updated last year
- ☆25Feb 18, 2026Updated last month
- ☆10Nov 27, 2019Updated 6 years ago
- The Pulse separation logic DSL for F*☆35Updated this week
- A simple allocator written in Rust that manages memory in fixed-size chunks.☆12Sep 29, 2024Updated last year
- Dynamic Score-Decomposed Tries which more efficiently solve the prefix autocomplete problem☆28Mar 30, 2025Updated 11 months ago
- A compiler of C subset by USTB OWL Wheel Lab.☆13Mar 8, 2026Updated last week
- A tensorflow implementation of the Forward-Forward Algorithm from NeurIPS '22.☆10May 10, 2023Updated 2 years ago
- A .Net HEOS CLI client using Reactive Extensions☆14Mar 18, 2017Updated 9 years ago
- ☆22May 21, 2024Updated last year
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆22Mar 12, 2026Updated last week
- Polyfills for MathML features☆20Jan 7, 2026Updated 2 months ago