A book about how teachers can use chat bots with discernment. And some notes about background and future for AI.
☆27Dec 9, 2023Updated 2 years ago
Alternatives and similar repositories for AI-Education
Users that are interested in AI-Education are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Updated this week
- A scheduler to manage a multi tool dual arm robot while avoiding arm-to-arm collisions; considering complex side constraints; and optimiz…☆11Jul 6, 2021Updated 5 years ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- programs written in Picat☆13Jun 18, 2026Updated 3 months ago
- A Basicode interpreter, written in Javascript. Behaves like a Commodore 64, ZX Spectrum, Dragon 32, or BBC Micro.☆11Jan 3, 2014Updated 12 years ago
- AI Agents on 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.
- PAKCS: The Portland Aachen Kiel Curry system☆16Updated this week
- A basic wrapper to allow access to OEIS from within Julia.☆17Apr 29, 2020Updated 6 years ago
- git mirror with some local fixes. currently not uptodate☆18Mar 10, 2023Updated 3 years ago
- Poplog☆22Nov 18, 2010Updated 15 years ago
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 9 months ago
- SNOBOL/SPITBOL pattern matching in JavaScript☆12Apr 2, 2021Updated 5 years ago
- R Interface to MiniZinc☆14Oct 17, 2021Updated 4 years ago
- Linux Console Beep for WSL Ubuntu and OpenSUSE in Windows 10 and Cygwin. Links to songs.☆10Jun 4, 2018Updated 8 years ago
- Replacing standard support propagation by belief propagation in MiniCP☆15Apr 7, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Sierpinski triangles on the Commodore 64☆10Feb 21, 2020Updated 6 years ago
- Giving up on the 4bbp layer matriculate for now.☆11May 1, 2020Updated 6 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Oct 5, 2022Updated 3 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆18Jul 9, 2026Updated 2 months ago
- Cap that allows access to the pw audio and VGA on the Raspberry Pi Zero☆13Oct 24, 2016Updated 9 years ago
- A TI-BASIC to Python 3 transpiler☆10May 13, 2023Updated 3 years ago
- The Sinclair ZX Spectrum BASIC compiler!☆13Jan 27, 2026Updated 8 months ago
- Retrochallenge 2017/04 Arduino 6502 simulator☆15Apr 9, 2017Updated 9 years ago
- Homepage☆10Aug 7, 2026Updated last month
- AI Agents on 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.
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 3 years ago
- TI Tools is a CLI tool designed for converting 8xp files (used by TI-83 and TI-84 calculators) to text files and vice versa. It also supp…☆16Aug 24, 2026Updated last month
- ☆17Updated this week
- Tiny MCUME esp81 ttgo vga32☆13Aug 26, 2023Updated 3 years ago
- Utility to take screenshots on the Raspberry Pi and save as PNG. Updated to save auto-incremented snapshots to ~/Pictures and to trigger …☆10Feb 3, 2021Updated 5 years ago
- ZX81 emulator written in TypeScript (transcompilation)☆15Jul 16, 2023Updated 3 years ago
- Sinclair ZX81 schematics (kicad)☆13Aug 25, 2019Updated 7 years ago
- Opposite of a parser: generates minimum-length derivation from a parse tree.☆17Oct 16, 2017Updated 8 years ago
- C64 Galaga type game implemented in Prog8☆18Nov 19, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A compiler from Forth to Scratch☆22Aug 17, 2016Updated 10 years ago
- Remake of the ZX Spectrum game for other 8-bit micros☆10Nov 6, 2023Updated 2 years ago
- LL parser generator☆18Sep 6, 2025Updated last year
- Traditional screens based Forth for 8086 (indirect threaded, MS-DOS, 16 bit) and 68000 (direct threaded, Atari ST, 32 bit).☆16Oct 8, 2020Updated 5 years ago
- Oric 1/Atmos emulator on lilygo TTGO VGA32 V1.4 board☆14Apr 1, 2024Updated 2 years ago
- Tektronix 405x Emulator☆12Apr 16, 2026Updated 5 months ago
- SWI Prolog library to interface to the GPT API☆20Mar 6, 2024Updated 2 years ago