Solutions from Etudes for Programmers
☆21Apr 26, 2021Updated 5 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:
- Template for a (PhD) thesis☆12Nov 5, 2025Updated 6 months ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- ☆10Jan 4, 2022Updated 4 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- A personal API☆18Dec 3, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Multiplayer Dots and Boxes build in Elm. Up to 5 players and spectator mode.☆14Feb 24, 2017Updated 9 years ago
- Work with Celeste files in Rust!☆16Jul 10, 2025Updated 10 months ago
- Official repository of the Autosubst 2 project.☆26May 8, 2023Updated 3 years ago
- Splat Graphics Library☆19Aug 30, 2017Updated 8 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆30Sep 21, 2022Updated 3 years ago
- DNS resolution via glibc for rust☆15Apr 12, 2026Updated last month
- pArAnoIA - Tiny "Secure" Browser☆13Nov 2, 2024Updated last year
- Logical relations proof in Agda☆30May 27, 2015Updated 11 years ago
- ☆14Oct 21, 2009Updated 16 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- LaTeX dissertation template and examples for a Ph.D. in Physics at Drexel☆25Apr 15, 2019Updated 7 years ago
- Generate PNG images of syntax highlighted Python.☆10Jul 7, 2021Updated 4 years ago
- Simple websocket example with javascript client and python Tornado server files☆25Jul 14, 2020Updated 5 years ago
- Haskell Diagrams for Penrose Kite and Dart non-periodic tilings☆16Updated this week
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 9 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆37Mar 17, 2025Updated last year
- A smattering of header files dumped using classdump-dyld☆14Apr 28, 2021Updated 5 years ago
- User-space Finite State Machine using (pretty much) Linux kernel functions.☆11Apr 15, 2026Updated last month
- ☆16Nov 2, 2019Updated 6 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.
- Common JavaScript techniques that I wish someone had taught me.☆12Sep 7, 2016Updated 9 years ago
- a raytracer written in applescript☆15Feb 1, 2021Updated 5 years ago
- ☆34Jun 15, 2025Updated 11 months ago
- L-system interpreter in OCaml☆21Dec 10, 2015Updated 10 years ago
- A curated list of awesome Nexus tools, libraries guides, blogs, and other resources☆10May 4, 2021Updated 5 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆33Aug 29, 2023Updated 2 years ago
- micro positioning library☆22Mar 9, 2025Updated last year
- ES module ponyfill for requestAnimationFrame☆12Aug 12, 2018Updated 7 years ago
- Tools for generating artificial Seinfeld episodes using deep learning ... very serious project☆14Mar 31, 2021Updated 5 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.
- 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
- ☆20May 2, 2023Updated 3 years ago
- 🎨 Experiments with various UI components and interactions☆12May 6, 2019Updated 7 years ago
- Display details about an SD Card☆15Apr 21, 2019Updated 7 years ago
- A photo browser written in python☆10Nov 8, 2016Updated 9 years ago
- Scientific Calculator (RPN/Forth)☆13Aug 26, 2022Updated 3 years ago