☆18Oct 31, 2013Updated 12 years ago
Alternatives and similar repositories for LessonPlanning
Users that are interested in LessonPlanning are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A web-extension for customizing website favicons.☆13Jul 3, 2024Updated 2 years ago
- CLI for "node-green" module.☆12Feb 5, 2023Updated 3 years ago
- Example iOS app using the open-source combustion-ios-ble framework.☆12Aug 2, 2023Updated 3 years ago
- Javascript for anki (templating and DOM manipulations)☆13Jul 11, 2019Updated 7 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A TypeScript package to build LLM-powered research pipelines and get results in a structured format.☆17May 13, 2025Updated last year
- A transducer library for Rust☆10May 22, 2016Updated 10 years ago
- Send emails to signal via signald☆16Dec 5, 2024Updated last year
- 剑指 offer☆10Aug 10, 2016Updated 10 years ago
- for Neo smartpen SDK2.0☆14Feb 4, 2024Updated 2 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- Web VJing for everyone.☆11May 26, 2016Updated 10 years ago
- VSTENO - Vector Shorthand Tool with Enhanced Notational Options☆13Jan 5, 2024Updated 2 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 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.
- A hypermedia job queue☆19Nov 5, 2012Updated 13 years ago
- A rust-lang client library for Twilio based on hyper☆12Dec 3, 2017Updated 8 years ago
- A language with tools to facilitate the study of Gregg Shorthand.☆17Updated this week
- An example to use tesseract.js in typescript☆19May 6, 2023Updated 3 years ago
- ☆18Sep 15, 2015Updated 11 years ago
- Fish shell plugin for fzf git bindings☆10Dec 13, 2021Updated 4 years ago
- An Anki (http://ankisrs.net/) AnkiWeb replacement in PHP☆21Jun 14, 2015Updated 11 years ago
- A small status bar app, which shows a month calendar when clicking on the status bar icon☆11Aug 24, 2015Updated 11 years ago
- Python random face generator from the article "How I generated 1000 random faces for my game in Python"☆11Oct 6, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Compute the timezone of latitude/longitude pairs.☆10Dec 17, 2021Updated 4 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 10 years ago
- ☆18Apr 14, 2020Updated 6 years ago
- Discord clone - Full Stack Project for App Academy☆11Dec 27, 2018Updated 7 years ago
- ☆11Jan 3, 2023Updated 3 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- A macOS taskbar app for Concourse☆13Apr 16, 2019Updated 7 years ago
- A trace visualization of MicroKanren logic programs, in JS.☆14Jan 1, 2023Updated 3 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.
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- creating a cabal new-build configuration from a stack configuration☆12May 8, 2018Updated 8 years ago
- A basic SMS gateway that a Light Phone 2 can text useful commands to and get responses!☆20Apr 12, 2023Updated 3 years ago
- A self healing AI scripting assistant for ruby☆24Mar 27, 2023Updated 3 years ago
- A Simple SMS and iMessage Proxy for the Light Phone 2.☆21Dec 11, 2022Updated 3 years ago
- a tool for compiling, showing, cross-linking, and otherwise manipulating dictionaries, corpora, linguistic phylogenies, etc.☆25Oct 3, 2010Updated 15 years ago
- Verified vector clocks, with Coq!☆14Dec 15, 2013Updated 12 years ago