Introduction to Programming
☆59Jun 2, 2026Updated 2 weeks ago
Alternatives and similar repositories for IntroductionToProgramming
Users that are interested in IntroductionToProgramming are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 10 years ago
- 知乎逆向交集☆14Aug 19, 2016Updated 9 years ago
- Interpreter for C89 in Haskell☆10Nov 21, 2015Updated 10 years ago
- A Chinese translation of "teach-yourself-scheme-in-fixnum-days"☆185Aug 1, 2020Updated 5 years ago
- A smart way to hook Java method on android platform with just a few code.☆11Feb 14, 2018Updated 8 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.
- Patterns of Multi-Agent System Architecture☆45May 11, 2026Updated last month
- 听说你发新版总忘记打 Tag 和改 package.json？☆15Oct 26, 2017Updated 8 years ago
- Cocoa中英文词汇对照表☆26Apr 5, 2012Updated 14 years ago
- regular expression, pcre, pcre2, c++☆15Feb 24, 2017Updated 9 years ago
- SRFI libraries for Chez Scheme☆10Mar 21, 2010Updated 16 years ago
- 如何构建个人知识输出系统☆16Jul 6, 2016Updated 9 years ago
- A python expression evaluation library☆13Mar 11, 2019Updated 7 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- A blog about Coq☆11Mar 21, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- A library for recreational number theory in MIT Scheme.☆11Feb 2, 2013Updated 13 years ago
- Ledger Recurring Transactiions.☆16Jul 31, 2022Updated 3 years ago
- 翻译一些技术文档和手册方便使用时查询☆17Apr 29, 2020Updated 6 years ago
- ☆11May 18, 2016Updated 10 years ago
- Z3 webpage repository☆10May 7, 2026Updated last month
- 为国内网站分享的网盘下载提供便利的工具☆59Jul 3, 2020Updated 5 years ago
- 📖 SICP 读书笔记，习题解答☆1,233Jan 3, 2020Updated 6 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.
- Blog on GitHub Pages☆15Sep 22, 2016Updated 9 years ago
- Mirror of core.typed for internal development.☆14Nov 18, 2018Updated 7 years ago
- Identify temporary Emacs diversions and automatically return to original location☆15Sep 2, 2025Updated 9 months ago
- Friendly fork of GNU Lilypond☆11Jan 13, 2013Updated 13 years ago
- The repository for the 100 Guile Programs project☆15May 7, 2013Updated 13 years ago
- Professional log reader for Windows☆27Sep 29, 2025Updated 8 months ago
- Managed research kernel☆43Jan 29, 2010Updated 16 years ago
- Automatically exported from code.google.com/p/ffmpeg-windows☆29Aug 17, 2015Updated 10 years ago
- ⭐️ Just for fun.☆11Apr 13, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Generic Little System☆18May 5, 2024Updated 2 years ago
- ☆11Apr 7, 2023Updated 3 years ago
- A sandbox for my notes☆10Dec 15, 2015Updated 10 years ago
- An algebra for Matrix Expressions written in Maude☆24Oct 23, 2012Updated 13 years ago
- Sparkline weather forecasts in Emacs☆27Apr 15, 2026Updated 2 months ago
- Fasterjson is a JSON(SAX) parser. It directly parse JSON text, call registered event functions, fast access JSON content of your interest…☆10Apr 26, 2016Updated 10 years ago
- ElfHooK, reference with boyliang's AllHookInOne project, fix bugs, support android 5/6/7 and aarch64☆31May 5, 2022Updated 4 years ago