Source code for Russian translation of SICP
☆80Dec 20, 2021Updated 4 years ago
Alternatives and similar repositories for sicp-ru
Users that are interested in sicp-ru are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆85Apr 23, 2023Updated 3 years ago
- clj/cljs dojo workshop☆10Sep 28, 2019Updated 6 years ago
- Russian translation of Okasaki's Purely Functional Data Structures☆170Dec 10, 2020Updated 5 years ago
- Lisp In Small Pieces на русском языке☆196May 8, 2022Updated 4 years ago
- учебник по Haskell☆275Aug 8, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Translation of Uber Lisp article into russian.☆23Dec 15, 2012Updated 13 years ago
- This is my small guestbook, created without any frameworks or libraries. Just plain Java.☆19Jul 21, 2025Updated last year
- Ansible role to deploy an Elixir/Phoenix release using systemd☆18Oct 16, 2025Updated 10 months ago
- Stuff I create or collect while playing with my PiDP-11☆12Apr 5, 2021Updated 5 years ago
- Попытка писать учебник по математике☆116Apr 29, 2015Updated 11 years ago
- ☆17Feb 28, 2024Updated 2 years ago
- GitHub action for building LaTeX documents via latexmk☆17Updated this week
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 7 months ago
- Finite state machine example written in vanilla Javascript.☆16Jan 25, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Курс повышения квалификации☆59Feb 17, 2017Updated 9 years ago
- [неофициальный] Шаблон для презентации (СПбПУ)☆12Jan 29, 2021Updated 5 years ago
- Перевод документации по data.table☆16Apr 13, 2017Updated 9 years ago
- A blog about Coq☆11Mar 21, 2021Updated 5 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- ☆68Dec 8, 2025Updated 8 months ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- QuickCheck extras.☆29Jun 23, 2019Updated 7 years ago
- [неофициальный] Шаблон для отчёта (СПбПУ)☆15Jan 29, 2021Updated 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.
- Notion is a thin wrapper around telemetry that defines functions that dispatch telemetry events, documentation, and specs for your applic…☆12Feb 13, 2022Updated 4 years ago
- python backup script☆21Jul 27, 2014Updated 12 years ago
- Переводы от devSchacht☆13Jul 31, 2018Updated 8 years ago
- A simple immutable ordered key/value storage system.☆15Mar 18, 2016Updated 10 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 9 years ago
- Proceedings of ISP RAS LaTeX Template☆13Apr 28, 2020Updated 6 years ago
- My Agda experiments☆12Sep 26, 2019Updated 6 years ago
- Design-by-contract for Go1☆17Mar 16, 2019Updated 7 years ago
- Upmath LaTeX Renderer☆70Apr 21, 2026Updated 4 months ago
- 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.
- Formalization of Linear Logic☆11Jun 25, 2017Updated 9 years ago
- ☆20Feb 5, 2014Updated 12 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Dec 21, 2015Updated 10 years ago
- VueJS with Vuex and TypeScript example to use Dependency Injection☆10May 26, 2019Updated 7 years ago
- Clojure library for Google Closure Templates☆18Oct 6, 2011Updated 14 years ago
- Emacs 24 theme which is distinctly purple☆26Oct 15, 2014Updated 11 years ago