Scheme语言实现 / Scheme implementation
☆81Dec 12, 2025Updated 3 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:
- Verified C programming in Agda☆16Mar 19, 2021Updated 5 years ago
- Fix TypeScript Declarations for default CJS exports☆13Mar 23, 2025Updated last year
- Lower chisel memories to SRAM macros☆13Mar 25, 2024Updated 2 years ago
- Organizing all techniques of computer science.☆12Sep 1, 2025Updated 6 months ago
- Port of MIT's xv6 OS to 32 bit RISC V☆12Feb 12, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 线上演示☆12Feb 11, 2023Updated 3 years ago
- moon agent rewritten in async☆41Mar 20, 2026Updated last week
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆30Sep 9, 2019Updated 6 years ago
- Vivado in GitLab-Runner for GitLab CI/CD☆10Oct 27, 2022Updated 3 years ago
- nscscc2024，HPU河南理工大学参赛作品，两仪处理器☆11Aug 24, 2024Updated last year
- A simple object system for Chez Scheme.☆10Aug 16, 2020Updated 5 years ago
- Zircon CPU in 2024☆11Nov 21, 2025Updated 4 months ago
- Simple tool for creating pitch timeline☆11May 21, 2022Updated 3 years ago
- ☆10May 27, 2025Updated 10 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Blogging about Midori 的中文翻译☆17May 13, 2020Updated 5 years ago
- 屏蔽小米推送SDK导致的应用间相互唤醒☆21Jun 10, 2017Updated 8 years ago
- Next generation private tracker framework.☆28Jul 26, 2023Updated 2 years ago
- A lite web app to format and preview json string.☆18Aug 6, 2025Updated 7 months ago
- An extension for VS Code that improves editor support for relative file paths in typescript/javascript sources, including auto-completion…☆17Updated this week
- Dream Scheme interpreter by David Joseph Stith☆16Jun 18, 2017Updated 8 years ago
- A couple of programs for computercraft (a mod for minecraft). No guarantees.☆13Apr 25, 2015Updated 10 years ago
- CPU source code for NSCSCC 2023☆14Aug 26, 2023Updated 2 years ago
- A Scheme interpreter base on R5RS specification.☆53Apr 3, 2020Updated 5 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.
- ☆12Sep 8, 2022Updated 3 years ago
- 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
- RDT Editor for Wikipedia☆41Mar 12, 2026Updated 2 weeks ago
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆70Mar 2, 2026Updated 3 weeks ago
- ☆17Jul 31, 2024Updated last year
- ☆14Updated this week
- exercises for the book - the little typer☆21May 15, 2025Updated 10 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Colletions of tutorials about cloud storage☆18Oct 4, 2016Updated 9 years ago
- Personal research notes☆19Oct 18, 2024Updated last year
- A tree of skill.☆13Oct 25, 2017Updated 8 years ago
- Github Actions for automatically generating the personal awesome list from all of the repositories you starred.☆16Mar 6, 2023Updated 3 years ago
- 将浏览器的样式复制后直接输出为tailwindcss的语法到对应的位置的插件，并且能够hover原生的css提示对应tailwindcss的语法☆13Nov 21, 2025Updated 4 months ago
- Most influential papers in programming languages☆59Jan 20, 2025Updated last year
- A schemy Lisp backed by Haskell☆60Nov 8, 2018Updated 7 years ago