Scheme语言实现 / Scheme implementation
☆81Dec 12, 2025Updated 4 months ago
Alternatives and similar repositories for Animac
Users that are interested in Animac are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 5 months ago
- Lower chisel memories to SRAM macros☆13Mar 25, 2024Updated 2 years ago
- moon agent rewritten in async☆42Mar 31, 2026Updated last month
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆30Sep 9, 2019Updated 6 years ago
- A popular science book about mathematics☆17Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Vivado in GitLab-Runner for GitLab CI/CD☆10Oct 27, 2022Updated 3 years ago
- nscscc2024，HPU河南理工大学参赛作品，两仪处理器☆11Aug 24, 2024Updated last year
- Telegram 机器人「世界树」——长夜漫漫，随便找个人，陪你聊到天亮。☆26Aug 15, 2025Updated 8 months ago
- Simple tool for creating pitch timeline☆11May 21, 2022Updated 3 years ago
- ☆14May 13, 2024Updated last year
- ☆10May 27, 2025Updated 11 months ago
- gocar, a cargo tool for Go☆61Apr 27, 2026Updated last week
- 屏蔽小米推送SDK导致的应用间相互唤醒☆21Jun 10, 2017Updated 8 years ago
- 基于TensorRT和Yolov5的全套数据采集代码、数据标注、模型转换、推理代码☆10Dec 13, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- This repository contains the core and extended source files of the standard library of the SaC programming language.☆18Apr 30, 2026Updated last week
- Constant-time Buffer Equality☆15Feb 12, 2022Updated 4 years ago
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- A lite web app to format and preview json string.☆18Aug 6, 2025Updated 9 months ago
- A collection of programming languages and type systems.☆34May 11, 2025Updated 11 months ago
- mySQL binding for Chez Scheme☆14Oct 29, 2018Updated 7 years ago
- Dream Scheme interpreter by David Joseph Stith☆16Jun 18, 2017Updated 8 years ago
- A collection of resources on modern C++☆10Jan 9, 2022Updated 4 years ago
- Groovy DSL 动态规则(rule)执行引擎. 特色风控,规则引擎 ,决策引擎☆14Aug 5, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An implementation of Cheney style garbage collection for cons cells and atomic data. Heap resizing is also permitted either explicitly an…☆13Dec 28, 2017Updated 8 years ago
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- Yet another progress indicator☆12Dec 25, 2021Updated 4 years ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆71Mar 2, 2026Updated 2 months ago
- ☆17Jul 31, 2024Updated last year
- ☆14Updated this week
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago
- Shaking expression trees until something tasty pops out☆17Oct 30, 2018Updated 7 years ago
- exercises for the book - the little typer☆21May 15, 2025Updated 11 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Personal research notes☆18Oct 18, 2024Updated last year
- A easy Javascript (ES5) runtime by Rust☆10May 11, 2021Updated 4 years ago
- thautwarm utilities.☆11Oct 16, 2018Updated 7 years ago
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 5 years ago
- Second Prize in NSCSCC 2024. An out-of-order CPU designed by NoAXI team from HDU. 2024年全国大学生计算机系统能力大赛CPU设计赛（龙芯杯）团队赛二等奖作品☆24Sep 14, 2024Updated last year
- Provide some useful tools for front end development☆15Oct 3, 2024Updated last year
- Telnet forum server for cnVintage.org☆16Dec 7, 2017Updated 8 years ago