Scheme语言实现 / Scheme implementation
☆83Jun 15, 2026Updated 3 weeks 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
- Lower chisel memories to SRAM macros☆13Mar 25, 2024Updated 2 years ago
- Port of MIT's xv6 OS to 32 bit RISC V☆12Feb 12, 2023Updated 3 years ago
- A popular math book about numbers☆21Jul 1, 2026Updated last week
- Vivado in GitLab-Runner for GitLab CI/CD☆10Oct 27, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A simple object system for Chez Scheme.☆10Aug 16, 2020Updated 5 years ago
- SDL 1.2.15 for Nintendo 3DS☆11Apr 4, 2021Updated 5 years ago
- Blogging about Midori 的中文翻译☆17May 13, 2020Updated 6 years ago
- gocar, a cargo tool for Go☆62Jul 1, 2026Updated last week
- 屏蔽小米推送SDK导致的应用间相互唤醒☆21Jun 10, 2017Updated 9 years ago
- TI-Nspire port of Chinese classic RPG game Pal☆11May 2, 2016Updated 10 years ago
- This repository contains the core and extended source files of the standard library of the SaC programming language.☆19Updated this week
- Library for annotation-based dependency injection☆24Mar 3, 2026Updated 4 months ago
- Constant-time Buffer Equality☆15Feb 12, 2022Updated 4 years ago
- 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.
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- mySQL binding for Chez Scheme☆14Oct 29, 2018Updated 7 years ago
- Dream Scheme interpreter by David Joseph Stith☆16Jun 18, 2017Updated 9 years ago
- An elegant blog theme with github design.☆19Apr 14, 2019Updated 7 years ago
- CPU source code for NSCSCC 2023☆14Aug 26, 2023Updated 2 years ago
- A Scheme interpreter base on R5RS specification.☆52Apr 3, 2020Updated 6 years ago
- ☆13Mar 31, 2023Updated 3 years ago
- ☆12Sep 8, 2022Updated 3 years ago
- RDT Editor for Wikipedia☆41Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- async programming library for MoonBit☆63Updated this week
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- ☆17Jul 31, 2024Updated last year
- ☆18Jun 29, 2026Updated last week
- 【译】Python Lex Yacc手册☆15Jul 14, 2015Updated 10 years ago
- exercises for the book - the little typer☆21May 15, 2025Updated last year
- Personal research notes☆19Oct 18, 2024Updated last year
- Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strin…☆12Dec 26, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 5 years ago
- Provide some useful tools for front end development☆15Jun 28, 2026Updated last week
- Github Actions for automatically generating the personal awesome list from all of the repositories you starred.☆16Mar 6, 2023Updated 3 years ago
- Python devicetree library☆16Oct 10, 2022Updated 3 years ago
- Telnet forum server for cnVintage.org☆16Dec 7, 2017Updated 8 years ago
- Angular Start: Analog SFCs, Vinxi, and Server Functions☆15Aug 30, 2024Updated last year
- Tools and scripts for running Linux on HP Prime calculator☆62Oct 29, 2021Updated 4 years ago