Altech / ctmcp-answersView external linksLinks
Answers of exercises in "Concepts, Techniques, and Models of Computer Programming".
☆46Oct 28, 2012Updated 13 years ago
Alternatives and similar repositories for ctmcp-answers
Users that are interested in ctmcp-answers are comparing it to the libraries listed below
Sorting:
- ☆13Jul 8, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Google Cloud Pub/Sub client for Ruby☆11Nov 22, 2025Updated 2 months ago
- Validate MyNumber's checkdigit☆11Nov 17, 2015Updated 10 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- Light Table plugin for paredit ⛺☆35Feb 11, 2019Updated 7 years ago
- Learning experimental design and analysis☆13Nov 22, 2022Updated 3 years ago
- Example repo demonstrating composition patterns for React and Next.js Apps☆11Oct 5, 2022Updated 3 years ago
- ☆10Mar 30, 2016Updated 9 years ago
- A path to Programming Language Theory enlightenment☆12Apr 13, 2016Updated 9 years ago
- Super simple wrapper between Enumerator and Parallel.☆13May 18, 2015Updated 10 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- Simple generic Go service that simulates abnormal situations☆12Jul 7, 2024Updated last year
- OpenAPI spec generation by bottom-up.☆12Dec 15, 2023Updated 2 years ago
- Learn the fundamentals of the React Router library☆15Dec 16, 2025Updated 2 months ago
- Vim plugin: Alter built-in Ex commands by your own ones☆18Apr 16, 2022Updated 3 years ago
- ✉️ 🐝 It's not only a bee, but a message - Pub/Sub Worker Framework Implementation☆49Jan 15, 2025Updated last year
- Get binaries from GitHub releases☆12Aug 12, 2015Updated 10 years ago
- Soft Confidence-Weighted Learning in Python☆15Jun 9, 2017Updated 8 years ago
- exploration of reflective architectures in Scheme☆20May 20, 2022Updated 3 years ago
- Run commands in container as if were native. Stress-free dockerized development environment finally arrived☆57Oct 11, 2020Updated 5 years ago
- Handle application secrets securely☆16Feb 6, 2018Updated 8 years ago
- federated news☆11Mar 12, 2019Updated 6 years ago
- A talk given at the Polyglot meetup in CPH, March 2018☆12Nov 5, 2018Updated 7 years ago
- Serialize Ruby objects to Protocol Buffers☆16Nov 13, 2025Updated 3 months ago
- Check that error return value are wrapped☆17Oct 17, 2019Updated 6 years ago
- A tool to downgrade your yarn.lock☆13Updated this week
- ☆13Jan 4, 2023Updated 3 years ago
- Implementations of common streaming abstractions in OCaml.☆12Jun 28, 2016Updated 9 years ago
- ☆13Feb 22, 2019Updated 6 years ago
- ⤴️ Version upgrade without hassle☆16Oct 15, 2024Updated last year
- Persistent http connections using a connection pool☆26May 8, 2024Updated last year
- ☆33Feb 1, 2026Updated 2 weeks ago
- A modified version of the University of Pennsylvania's CIS194☆12May 12, 2021Updated 4 years ago
- ☆10Jan 9, 2026Updated last month
- Environment settings☆16Aug 17, 2022Updated 3 years ago
- Example app type plugin for Otto (ottoproject.io)☆19Jan 16, 2016Updated 10 years ago
- ☆15Mar 12, 2017Updated 8 years ago
- BDD-style testing library for Golang☆76Oct 8, 2019Updated 6 years ago