Schrödinger's Tcl
☆29Mar 2, 2015Updated 11 years ago
Alternatives and similar repositories for schrotcl
Users that are interested in schrotcl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rescuing the SOUL great logic meta programming language☆12Oct 7, 2018Updated 8 years ago
- A theorem prover☆17Aug 19, 2026Updated 2 months ago
- Feature-complete Tcl interface to GD graphics drawing library☆20Updated this week
- Build tool for Tcl/Tk projects☆12Dec 22, 2014Updated 11 years ago
- IRC-bot written in Lean (https://leanprover.github.io/)☆10Mar 4, 2022Updated 4 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.
- Binary blobs with on-the-fly pointer patching☆17Aug 22, 2018Updated 8 years ago
- Pharo utility for visualizing OO instance structure during runtime via UML instance models.☆13Nov 3, 2017Updated 8 years ago
- A tiny wrapper for Tcl/Tk's tclsh and wish☆25Feb 23, 2018Updated 8 years ago
- The Gtk3 bindings for Pharo and Spec☆14Oct 18, 2020Updated 6 years ago
- My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.☆12Aug 8, 2017Updated 9 years ago
- Pomodoro Timer for Pharo☆12Jan 7, 2025Updated last year
- A demonstration of cubic Bezier patch evaluation with Metal tessellation shaders☆14Oct 15, 2020Updated 6 years ago
- git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation☆22Nov 30, 2012Updated 13 years ago
- Numeric array and linear algebra extension for Tcl☆37Jun 10, 2026Updated 4 months 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.
- Mac app filtering NSNotificationCenter debug output based on pointer addresses☆13Feb 23, 2018Updated 8 years ago
- Tarantool connector for Pharo Smalltalk☆14Mar 24, 2022Updated 4 years ago
- Implementation of JSON schema for pharo☆17Updated this week
- ☆15Feb 28, 2018Updated 8 years ago
- Tcl Static Prime☆64Aug 11, 2015Updated 11 years ago
- Folds for recursive types with GHC Generics☆29Apr 13, 2026Updated 6 months ago
- A bridge to provide the ability to Pharo user to use Python's Matplotlib.☆19May 20, 2019Updated 7 years ago
- A toolkit to generate Python 3 source code from Pharo.☆26Feb 15, 2024Updated 2 years ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/yelp-tools☆12Nov 18, 2025Updated 11 months 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.
- ☆10Feb 18, 2018Updated 8 years ago
- Church-encoding of the Freer monad☆29Oct 27, 2016Updated 10 years ago
- An implementation of a MQTT Client and a Broker in pure Smalltalk for Pharo☆24Sep 3, 2019Updated 7 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 10 years ago
- Ship name utilities for Urbit☆11Mar 14, 2020Updated 6 years ago
- Official home of the TclX extension for Tcl☆43Oct 12, 2026Updated 3 weeks ago
- Data farm monitoring & management tool for Sia☆39Aug 18, 2016Updated 10 years ago
- Squeak Object Tracker - Version control for arbitrary objects, currently with Git storage☆70May 17, 2026Updated 5 months ago
- A set of Lispy bindings for running and composing *nix processes☆17Jun 22, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Universal keyboard navigation for GUI-based systems & software☆20May 13, 2020Updated 6 years ago
- what I did on my holidays☆12Jul 9, 2018Updated 8 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 8 years ago
- A collection of pure Tcl, production-ready micro packages☆31Jun 6, 2018Updated 8 years ago
- Sudoku game written in Rust with Piston☆21Dec 11, 2023Updated 2 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- cold wallet generator for Sia☆37Jul 28, 2018Updated 8 years ago