This repository powers the Teaching Machines website
☆14Jul 17, 2022Updated 4 years ago
Alternatives and similar repositories for teachingmachines
Users that are interested in teachingmachines are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notebook for looking at 35 years of historical US degrees data from NCES-IPEDS☆11Dec 18, 2018Updated 7 years ago
- AutomaTiles presents a new way to interact with cellular automata. In a physical form, each tile can be manipulated, and progresses based…☆10Jun 22, 2017Updated 9 years ago
- This is a public repository for sharing, improving, and versioning "The Topic Modeling Game," a lesson developed by Lisa Rhody to teach t…☆10May 31, 2018Updated 8 years ago
- Plots various graphs for a series of plaintext files in a directory☆19Jun 6, 2016Updated 10 years ago
- Data and styles for rendering the NYC subway on a mapboxGL map☆13Mar 20, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- FileTea-like command line tool☆10Dec 19, 2013Updated 12 years ago
- Analysing Reddit user data.☆13May 5, 2014Updated 12 years ago
- ☆13Jan 21, 2022Updated 4 years ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- Root Agent for Grok Bot: sizes the team a request needs, creates the Bots, and delegates day-to-day management to Leads. Description, ski…☆17Updated this week
- Collection of tactics I've found useful in Coq☆11Sep 30, 2016Updated 10 years ago
- Lua scripts for interacting with TVTropes☆13Apr 29, 2011Updated 15 years ago
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated last year
- underscorex are some basic extensions for underscore.js☆15Apr 11, 2012Updated 14 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆19Apr 25, 2025Updated last year
- Unofficial https://stacker.news client written in Flutter.☆16Aug 27, 2026Updated 2 months ago
- PoC for watching & syncing a folder recursively into a riak bucket.☆12Jun 24, 2011Updated 15 years ago
- A `Tornado Whirlwind Kick` scala client for the riak `raw` http interface☆13May 15, 2010Updated 16 years ago
- Creating a buzzword detector: A Git-powered Clojure tutorial (Gitorial)☆17Mar 2, 2009Updated 17 years ago
- Summer Cohort 2023 for Tech Talent Pipeline☆21Jul 13, 2023Updated 3 years ago
- Constrained writing with Ruby.☆15Aug 1, 2011Updated 15 years ago
- Ajax with less suck - (and node.js HTTP client to match)☆10Nov 3, 2012Updated 13 years ago
- Formalisation of Goedel's System T in Coq☆15Jul 1, 2011Updated 15 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Geometric Semantic Genetic Programming☆15Oct 6, 2014Updated 12 years ago
- Founders OS - CRM, tasks, finances, feeds, and memory for founders, as an MCP server.☆22Sep 2, 2026Updated last month
- Scala library for talking to Riak☆16Feb 1, 2010Updated 16 years ago
- A Bill of Rights and Principles for Learning in the Digital Age☆42Jan 24, 2013Updated 13 years ago
- Causal inference in non-linear dynamics systems☆16Jun 20, 2017Updated 9 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Jun 22, 2015Updated 11 years ago
- A pragmatic StreamBuilder with sensible defaults☆16Jan 6, 2020Updated 6 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Impossible Maps | Olin College of Engineering, Spring 2019☆39May 6, 2019Updated 7 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.
- Relative Monad Library for Agda☆24May 29, 2019Updated 7 years ago
- Node.js remote logging to Riak☆21Dec 11, 2010Updated 15 years ago
- An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.☆14Jun 17, 2024Updated 2 years ago
- A command-line program to download text corpora.☆34Aug 12, 2017Updated 9 years ago
- A curated list of awesome systemd-like projects☆15Sep 11, 2026Updated last month
- Multiplayer realtime fighting game☆16Sep 16, 2010Updated 16 years ago
- Make product demos agentically on macOS — your coding agent reads the codebase, scripts the scenes, drives the app, records, narrates, an…☆16Sep 22, 2026Updated last month