LaTeX ebook of the Enchiridion of Epictetus with various translations
☆13Dec 17, 2023Updated 2 years ago
Alternatives and similar repositories for enchiridion
Users that are interested in enchiridion are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pepper control interface for "Wizard of Oz" like experiments.☆17Apr 5, 2023Updated 2 years ago
- Scrape every recipe from the BBC Food website, and store and search them locally☆12Oct 22, 2019Updated 6 years ago
- Gretchen - An Open-Source Humanoid Robot Development Platform☆11Jul 8, 2019Updated 6 years ago
- libusb driver for the NI USB 6501☆16Jan 18, 2026Updated 2 months ago
- ☆17May 19, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- python driver for NI USB-6501☆16Apr 23, 2024Updated last year
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- Converts provided SVG to bitmap and slices it into tiles for use e.g. in Leaflet. Supports UTFGrid.☆23Apr 15, 2016Updated 9 years ago
- The tools you need to interact with Vizzy robot.☆16Apr 23, 2024Updated last year
- An interactive interpreter for asynchronous algebraic effects☆14Jun 19, 2024Updated last year
- Downloads and plays lyrics of the currently playing song, synced with elapsed time.☆18Jun 6, 2018Updated 7 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- ☆11Jul 20, 2016Updated 9 years ago
- lite-net as a web app with authentication and privacy; simplest-possible note taking app for network and non-linear thinking.☆13Apr 15, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- Download latest wind data for the Earth global map.☆10Jan 18, 2022Updated 4 years ago
- repo for code for paper on general theory associative memory models☆22Jun 15, 2022Updated 3 years ago
- OCaml implementation of histogram-approximation algorithm☆15Oct 28, 2022Updated 3 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- Applicative maps☆16Sep 29, 2024Updated last year
- A software package for computation of sheaf cohomologies for line bundles on toric varieties.☆10Sep 26, 2025Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Exploring AI, leveraging the power of Python.☆29Feb 6, 2020Updated 6 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- Code for the paper "Spatio-temporal load shifting for truly clean computing"☆14Feb 4, 2025Updated last year
- A discouraging story.☆17May 8, 2018Updated 7 years ago
- Snakemake workflow for modelling-to-generate-alternatives with PyPSA-Eur☆11Oct 26, 2020Updated 5 years ago
- Category theory concepts in type classes and instances.☆23Mar 13, 2026Updated 2 weeks ago
- Autogenerated SVG illustrations inspired by Carlos Cruz-Diez' Physichromies.☆16Sep 5, 2016Updated 9 years ago
- Semantics for Cryptol☆16Apr 9, 2018Updated 7 years ago
- EduLint is a Python linter aimed at helping novice programmers improve their coding style.☆12Jan 24, 2026Updated 2 months 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.
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- Solving UKPassportApplication with Haskell☆20Jun 30, 2025Updated 8 months ago
- Workflow Engine for Python☆11Oct 10, 2022Updated 3 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Nov 27, 2020Updated 5 years ago
- Methods for estimating joint distributions assisted with survey data☆12May 16, 2023Updated 2 years ago
- Robot hardware design based on the the Open Robot Dynamic Initiative Bolt robot remixed for easier and cheaper assembly using commonly av…☆35Jun 13, 2021Updated 4 years ago
- Tutorial material for Julia basic training☆46Jan 29, 2026Updated 2 months ago