setlX is an interpreter for the high level programming-language SetlX (set language extended).
☆31Sep 20, 2021Updated 5 years ago
Alternatives and similar repositories for setlX
Users that are interested in setlX are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TkS*LIDE - Tk/TCL based Snobol4/Spitbol IDE☆13Feb 19, 2026Updated 8 months ago
- GNU SETL☆39Feb 7, 2025Updated last year
- SETL4 brings the raw power and speed of SPITBOL to non-numeric computation using set-theoretic constructs.☆14Jun 13, 2019Updated 7 years ago
- The GOSPL is a public collection of POPLOG source code that is reviewed and maintained by Stephen Leach.☆11Oct 27, 2014Updated 12 years ago
- The lecture notes and programs for my class on real analysis. This is very much work in progress!☆13Sep 6, 2026Updated last month
- 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.
- Batch conversion of TTF/OTF fonts to Postscript Type1 files for easy usage with the Lout typesetting system ⚠️ This repo has moved to htt…☆14Aug 17, 2026Updated 2 months ago
- A clone of Joe Marshall's Rebol 1.0 to Scheme compiler.☆17Sep 23, 2012Updated 14 years ago
- migration of rebol.net wiki to asciidoc based site☆18May 2, 2017Updated 9 years ago
- ☆47Aug 3, 2026Updated 3 months ago
- Combinators for the real world☆14Aug 16, 2014Updated 12 years ago
- The NIAL language environment☆116Mar 24, 2023Updated 3 years ago
- The Morph Book vol. I - Designing Graphical User Interfaces☆22Apr 29, 2026Updated 6 months ago
- Try s7 scheme in your browser, powered by WebAssembly☆48Sep 27, 2020Updated 6 years ago
- A VS Code extension supporting for Picat language☆18Oct 27, 2018Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Clone of the Rebol DocBase Wiki☆14Jan 28, 2021Updated 5 years ago
- Low entropy HTML5 templating engine☆28Nov 7, 2025Updated 11 months ago
- Learning Constraint Programming with Picat☆59Oct 20, 2025Updated last year
- Propositional calculus in Haskell☆11Nov 21, 2016Updated 9 years ago
- The Icon Programming Language☆161Oct 4, 2025Updated last year
- Hier finden Sie die Unterlagen zu der Vorlesung "Theoretische Informatik I", die sich im wesentlichen mit der Logik befasst. Die Beispie…☆55Updated this week
- Disassembled code of SPECTRUM micro-PROLOG T1.0☆39Jul 16, 2026Updated 3 months ago
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated last year
- Boolean Constraint Solving in Prolog☆49Dec 8, 2024Updated last year
- 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.
- Pattern matching language for transforming complex tree-structured data (strings, XML, JSON, algebraic expressions). Built-in symbolic al…☆51Aug 17, 2026Updated 2 months ago
- TinyTimber is a C implementation of the concurrent reactive objects of Timber. For more information about the full Timber language, see:☆15Mar 6, 2012Updated 14 years ago
- Notebook Personal Wiki☆25Feb 27, 2022Updated 4 years ago
- Playing around with languages concepts like type inference, pratt parsing, parser combinators and immutability.☆19Jul 10, 2024Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- Python constraint programming library☆25Oct 13, 2026Updated 3 weeks ago
- These are the lecture notes for my class on linear algebra.☆11Aug 23, 2026Updated 2 months ago
- GNU Dr. Geo, a Dynamic Knowledge Model on geometry☆35Oct 25, 2026Updated last week
- Framework and scripts that build the website from content files in github.com/Raku/doc☆11Oct 22, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆12Oct 17, 2020Updated 6 years ago
- Repository for the Racket News Website☆11Feb 14, 2025Updated last year
- MiniZinc playground using WebAssembly☆13Updated this week
- newLISP with improved performance☆16Oct 25, 2026Updated last week
- If at first you don't succeed☆12Sep 25, 2020Updated 6 years ago
- #lang for writing C code☆16May 30, 2017Updated 9 years ago
- Solver for Shenzen Solitaire☆16Oct 30, 2017Updated 9 years ago