Next-GEN Confguration Template Generation Language
☆12Jul 21, 2022Updated 3 years ago
Alternatives and similar repositories for sap-lang-archived
Users that are interested in sap-lang-archived are comparing it to the libraries listed below
Sorting:
- ☆12Oct 2, 2021Updated 4 years ago
- How many interface{} are there in your project?☆16Aug 2, 2021Updated 4 years ago
- LIMITS is yet another fully open source, interoperable, decentralised real-time communication protocol!☆20Jan 15, 2023Updated 3 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Feb 7, 2022Updated 4 years ago
- eBPF version of https://github.com/brendangregg/wss☆11Jan 26, 2023Updated 3 years ago
- A Register Based VM. 柠檬手写的看起来像栈机的寄存器机☆65Aug 7, 2020Updated 5 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- Luogu plugin on IntelliJ Platform☆10Jan 6, 2020Updated 6 years ago
- 试图用 OpenGL 3.3 画个可爱（？大概吧）的小机器人。☆17Nov 27, 2024Updated last year
- a minimal lisp interpreter written in ruby☆11Apr 15, 2021Updated 4 years ago
- 基于FPGA实现用户态中断硬件机制与优化操作系统内核☆10Apr 1, 2025Updated 11 months ago
- ☆12Aug 19, 2021Updated 4 years ago
- 📚 A third-party mobile App for Canvas LMS tailored for SJTU open Canvas system.☆19Oct 10, 2021Updated 4 years ago
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Jun 11, 2022Updated 3 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- A Rust style C++ library.☆19Sep 3, 2022Updated 3 years ago
- 一个浅显易懂的Rust GFX-HAL 教程☆20Aug 23, 2019Updated 6 years ago
- The formal development repository for Pr47☆21Feb 21, 2023Updated 3 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Jun 25, 2022Updated 3 years ago
- ioring wrapper for windows-rs☆24Oct 2, 2022Updated 3 years ago
- Mathematical notes and papers☆27Jan 22, 2026Updated last month
- YCSB in Rust (WIP)☆19May 18, 2021Updated 4 years ago
- Derive macro for Rust that turns traits into enums, providing tools for calling funtions over channels☆24May 25, 2022Updated 3 years ago
- 集成电路设计大赛ARM杯作品，获得2021年ARM企业杯☆16Sep 26, 2021Updated 4 years ago
- An implementation of a simple Neural network in Idris using category theory.☆24Sep 18, 2024Updated last year
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Nov 12, 2025Updated 3 months ago
- A reimplementation of the Flap parser in Rust (with our own modifications applied)!☆55Apr 10, 2024Updated last year
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Feb 28, 2022Updated 4 years ago
- A research kernel written in modern C++.☆25Jan 25, 2022Updated 4 years ago
- Constructive Interpretations of HoTT☆36Aug 26, 2020Updated 5 years ago
- Lean 定理证明☆24Dec 28, 2025Updated 2 months ago
- Ergonomic tagged pointer☆31Oct 8, 2024Updated last year
- Rust bindings for libgccjit☆30Jan 30, 2026Updated last month
- A general purpose C++ toolkit library, built with☆28Nov 29, 2022Updated 3 years ago
- Run Rocket Chip on VCU128☆30Oct 21, 2025Updated 4 months ago
- 🍋: A General Lock following paper "Optimistic Lock Coupling: A Scalable and Efficient General-Purpose Synchronization Method"☆28Aug 31, 2021Updated 4 years ago
- PLCT实验室 V8 for RISC-V 的主仓库。2020年完成部署。☆24Jul 25, 2020Updated 5 years ago
- A type-driven and high-performance ORM framework in Rust☆31Jun 13, 2025Updated 8 months ago