Vulwsztyn / prolog-for-dummiesLinks
☆41Updated 3 years ago
Alternatives and similar repositories for prolog-for-dummies
Users that are interested in prolog-for-dummies are comparing it to the libraries listed below
Sorting:
- ☆20Updated 2 years ago
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆74Updated 4 years ago
- An interpreter capable of executing a simple scripting language from a plain-text file☆14Updated 7 years ago
- A project for infoeducatie and a future typing website for everyone.☆11Updated last year
- put-latex☆35Updated 11 years ago
- Befunge-93 interpreter written in Python with a debugger☆19Updated 8 years ago
- Cat's Eye Technologies' implementation of (and tools for) the Beatnik programming language☆7Updated 3 years ago
- http://mroman.ch/burlesque☆14Updated 5 years ago
- Public repository for the HPPS course☆17Updated 3 years ago
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆17Updated 4 years ago
- Converter for CK2 savegames to EU4☆18Updated 4 years ago
- SKI combinators☆55Updated 8 years ago
- A curated list of resources dedicated to Natural Language Processing (NLP) in polish. Models, tools, datasets.☆300Updated 3 years ago
- Wszystkie kawałki kodu oraz ćwiczenia, jakie pojawią się w moim kursie☆73Updated last year
- A repo containing my outlines/exam notes for the course Algorithms and Datastructures (AD) at DIKU☆15Updated 6 years ago
- Solutions to the Incredible Proof Machine http://incredible.pm/☆9Updated 5 years ago
- Python Plays GTA V Reboot☆18Updated 3 years ago
- ☆248Updated 3 years ago
- MDD - Meme Driven Development☆80Updated 4 years ago
- Solutions and other stuff from the university courses I attended.☆10Updated 4 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- Rust programming, in Romanian.☆102Updated 11 months ago
- Visual functional programming language☆23Updated last year
- Twitch/Discord Chat Bot that works for KGB monkaS☆17Updated 4 years ago
- My answers to Raymond Smullyan's "To Mock a Mockingbird" combinator puzzles, including a solver in Haskell☆37Updated 7 years ago
- Convergence verification of the Collatz problem☆66Updated last month
- ☆40Updated 3 years ago
- Final project for EECS 368 written in Haskell☆23Updated 4 years ago
- A Chapel library for Machine Learning that supports distributed inference, automatic differentiation, and CUDA/HIP utilization.☆29Updated 3 weeks ago