Solutions from Etudes for Programmers
☆21Apr 26, 2021Updated 4 years ago
Alternatives and similar repositories for etudes
Users that are interested in etudes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Oct 22, 2023Updated 2 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- Nix Skeleton Hasktorch project made for easy cloning and forking☆16Jun 11, 2025Updated 9 months ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 years ago
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- An experimental mutual induction tactic for Lean 4.☆24Jan 12, 2026Updated 2 months ago
- A personal API☆18Dec 3, 2022Updated 3 years ago
- ☆15Sep 12, 2022Updated 3 years ago
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- DNS resolution via glibc for rust☆11Nov 27, 2025Updated 4 months ago
- Arthur's Formal Metatheory in Coq☆18Feb 6, 2026Updated last month
- Splat Graphics Library☆19Aug 30, 2017Updated 8 years ago
- The Climate Change Informed Species Selection (CCISS) tool☆19Mar 3, 2026Updated 3 weeks ago
- pArAnoIA - Tiny "Secure" Browser☆12Nov 2, 2024Updated last year
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A Lean4 Formalization of Polynomial Functors☆28Dec 22, 2025Updated 3 months ago
- ☆36Oct 13, 2021Updated 4 years ago
- ☆14Oct 21, 2009Updated 16 years ago
- LaTeX dissertation template and examples for a Ph.D. in Physics at Drexel☆24Apr 15, 2019Updated 6 years ago
- Generate PNG images of syntax highlighted Python.☆10Jul 7, 2021Updated 4 years ago
- Haskell Diagrams for Penrose Kite and Dart non-periodic tilings☆16Updated this week
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆37Mar 17, 2025Updated last year
- talk-reacts-new-defaults☆12Apr 25, 2020Updated 5 years ago
- ☆17Nov 2, 2019Updated 6 years ago
- 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.
- User-space Finite State Machine using (pretty much) Linux kernel functions.☆11Dec 26, 2025Updated 3 months ago
- Common JavaScript techniques that I wish someone had taught me.☆12Sep 7, 2016Updated 9 years ago
- ☆33Jun 15, 2025Updated 9 months ago
- A curated list of awesome Nexus tools, libraries guides, blogs, and other resources☆10May 4, 2021Updated 4 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆33Aug 29, 2023Updated 2 years ago
- Embedded async HTTP 1.1 server based on a source code from https://github.com/splunk/pion☆13Jan 20, 2021Updated 5 years ago
- Add files to the recently-used list programmatically☆12Apr 18, 2023Updated 2 years ago
- Scan every pen from a CodePen profile, and returns new links for rawgit hosted assets.☆12Oct 12, 2018Updated 7 years ago
- A small efl based filemanager☆10Oct 29, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Simple date picker and calendar made for React and Day.js☆16Jul 6, 2021Updated 4 years ago
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆33Oct 22, 2024Updated last year
- Mini-OpenSSL: MD5 + SHA family hashing in C.☆13Aug 18, 2025Updated 7 months ago
- YAML 1.2 implementation in pure Haskell☆54Dec 12, 2025Updated 3 months ago
- An OpenAI API Compatible Honeypot Gateway☆17Mar 17, 2025Updated last year
- Localization of the Python argparse module☆11Jun 9, 2025Updated 9 months ago
- Scientific Calculator (RPN/Forth)☆13Aug 26, 2022Updated 3 years ago