A collection of articles written by YinWang
☆158May 7, 2024Updated 2 years ago
Alternatives and similar repositories for YinWangBak
Users that are interested in YinWangBak are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- yinwang.org's auto backup☆27Sep 3, 2025Updated 8 months ago
- Framework for defining and using monads in Chez Scheme☆11Aug 16, 2012Updated 13 years ago
- A minimalist revision of the miniKanren language with no additional features☆53May 11, 2022Updated 3 years ago
- 爬取王垠的博客，输出pdf文档☆14Oct 10, 2018Updated 7 years ago
- ☆39Aug 29, 2021Updated 4 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.
- C311 Spring 2022☆13Mar 17, 2025Updated last year
- Some useful shortcuts for DrRacket☆80Oct 31, 2020Updated 5 years ago
- Chinese blog☆14Jan 7, 2014Updated 12 years ago
- Workshop on Program Transformations☆26Aug 12, 2023Updated 2 years ago
- A Scheme to x86-64 compiler in Scheme☆81May 4, 2015Updated 11 years ago
- 王垠百科-网站☆74Aug 14, 2025Updated 8 months ago
- A structural comparison tool for Lisp family languages, with experimental C++, JS support☆194Feb 6, 2015Updated 11 years ago
- ☆16May 7, 2020Updated 6 years ago
- The Scheme Programming Language - ZhCN☆44Feb 8, 2025Updated last year
- 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.
- A semantic indexer for Ruby with interprocedual type inference☆199Nov 15, 2022Updated 3 years ago
- ☆19Apr 24, 2018Updated 8 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆53Mar 28, 2010Updated 16 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆367May 1, 2021Updated 5 years ago
- Scheme's commonly used small functions☆29Sep 24, 2019Updated 6 years ago
- miniKanren with a constraint-based negation operator☆10May 10, 2014Updated 11 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆134Jan 15, 2015Updated 11 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆16Nov 19, 2012Updated 13 years ago
- a compiler from a subset of Scheme into X64☆239Jul 29, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Dream Scheme interpreter by David Joseph Stith☆16Jun 18, 2017Updated 8 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆557Apr 3, 2026Updated last month
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆324May 1, 2021Updated 5 years ago
- Chez Scheme☆7,282Apr 30, 2026Updated last week
- Chez Scheme Version 9 User's Guide - Zhcn☆60Nov 28, 2021Updated 4 years ago
- A server, client and UI for remotely debugging Racket applications.☆29Jul 23, 2025Updated 9 months ago
- ☆14Apr 9, 2024Updated 2 years ago
- ✨ 设计模式学习笔记「附 TypeScript 版代码」【咕咕咕】☆12May 28, 2022Updated 3 years ago
- a language-aware tool for comparing programs☆27Jul 21, 2011Updated 14 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.
- Scheme(R7RS) interpretor/compiler rust implementation☆66Oct 3, 2022Updated 3 years ago
- Automatically save files without temporary files to protect your finger. ;)☆93Jan 12, 2026Updated 3 months ago
- Really mini operating system (extracted from xen-unstable, and much stuff removed)☆192Mar 5, 2012Updated 14 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 5 years ago
- Prune is a constraint logic programming language with branching heuristic.☆36Apr 26, 2026Updated 2 weeks ago
- Collection of builtin GNU TeXmacs plugins☆45Aug 4, 2025Updated 9 months ago
- 北大编译课程实践，独立完成的C语言子集SysY编译器，实现了从C语言编译到Koopa IR，再从Koopa IR编译到RISC-V汇编的实现☆34Jul 16, 2024Updated last year