Scheme计算引擎 / Scheme Engine
☆86Aug 2, 2026Updated last month
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 9 months ago
- Fix TypeScript Declarations for default CJS exports☆15Mar 23, 2025Updated last year
- 线上演示☆12Feb 11, 2023Updated 3 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆30Sep 9, 2019Updated 7 years ago
- Telegram 机器人「世界树」—— 长夜漫漫，随便找个人，陪你聊到天亮。☆26Aug 15, 2025Updated last year
- 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.
- ☆11May 27, 2025Updated last year
- Simple tool for creating pitch timeline☆10May 21, 2022Updated 4 years ago
- Blogging about Midori 的中文翻译☆17May 13, 2020Updated 6 years ago
- Next generation private tracker framework.☆28Jul 26, 2023Updated 3 years ago
- 屏蔽小米推送SDK导致的应用间相互唤醒☆21Jun 10, 2017Updated 9 years ago
- The Alms Programming Language☆43Aug 29, 2018Updated 8 years ago
- Constant-time Buffer Equality☆13Feb 12, 2022Updated 4 years ago
- A Scheme interpreter base on R5RS specification.☆53Apr 3, 2020Updated 6 years ago
- [纸小墨(Ink)](http://www.chole.io) 静态博客生成器的一款主题☆12Dec 6, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A lite web app to format and preview json string.☆18Aug 6, 2025Updated last year
- A collection of programming languages and type systems.☆36May 11, 2025Updated last year
- Dream Scheme interpreter by David Joseph Stith☆16Jun 18, 2017Updated 9 years ago
- 一款定时/循环执行任务的绿色小软件，可以用来定时执行程序、DOS命令、从HTTP服务器下载程序运行、结束进程、 模拟按键、发送EMAIL、网络唤醒、消息提示、关机、重启、注销、锁定、待机等操作☆19Jul 11, 2018Updated 8 years ago
- ☆12Sep 8, 2022Updated 4 years ago
- M:N fiber implementation, with transparent IO reactor and timeouts, POSIX like APIs.☆17May 17, 2012Updated 14 years ago
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- 一个基于 Python 开发的在线文档系统。支持 Markdown 语法、文集分类、科学公式、流程图、思维导图等内容。清爽的阅读界面，还可以把内容打包导出为 Markdown 文件、EPUB 文件、PDF 文件。适合作为个人和小型团队的私有文档服务☆13Aug 11, 2020Updated 6 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Pluggable Shell User☆30Apr 10, 2015Updated 11 years ago
- Automatically exported from code.google.com/p/cx-extractor☆14Mar 8, 2016Updated 10 years ago
- Yet another progress indicator☆12Dec 25, 2021Updated 4 years ago
- Personal research notes☆19Oct 18, 2024Updated last year
- thautwarm utilities.☆11Oct 16, 2018Updated 7 years ago
- Colletions of tutorials about cloud storage☆18Oct 4, 2016Updated 9 years ago
- Sync TiddlyWiki to SoLiD Server.☆20Jan 30, 2020Updated 6 years ago
- Telnet forum server for cnVintage.org☆15Dec 7, 2017Updated 8 years ago
- Most influential papers in programming languages☆61Jan 20, 2025Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Provide some useful tools for front end development☆15Jul 29, 2026Updated last month
- 一份使用 LeanCloud 服务实现的、具有「登录注册功能」的 SwiftUI 代码。☆13Dec 22, 2020Updated 5 years ago
- A Scheme interpreter in Python☆14Jul 7, 2014Updated 12 years ago
- Angular Start: Analog SFCs, Vinxi, and Server Functions☆15Aug 30, 2024Updated 2 years ago
- 将浏览器的样式复制后直接输出为tailwindcss的语法到对应的位置的插件，并且能够hover原生的css提示对应tailwindcss的语法☆13Mar 26, 2026Updated 6 months ago
- Harry Potter and the Methods of Rationality LyX files☆20Nov 15, 2017Updated 8 years ago
- Web component that implement Acrylic texture of Axiom Design System.☆14Jan 7, 2023Updated 3 years ago