simonkrenger / ch.bfh.bti7064.w2013.PrologParserView external linksLinks
A proof-of-concept parser for the Prolog programming language, at the Bern University of Applied Sciences for the course "Automata and formal languages"
☆11Jan 17, 2014Updated 12 years ago
Alternatives and similar repositories for ch.bfh.bti7064.w2013.PrologParser
Users that are interested in ch.bfh.bti7064.w2013.PrologParser are comparing it to the libraries listed below
Sorting:
- Extended DCG syntax for Prolog by Peter Van Roy☆21Mar 22, 2018Updated 7 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated last year
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆19Oct 10, 2022Updated 3 years ago
- SWI Prolog library to interface to the GPT API☆20Mar 6, 2024Updated last year
- RPL++ - Stack-based Reverse polish notation Programming Language☆17Dec 3, 2021Updated 4 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Mar 14, 2020Updated 5 years ago
- ☆10Jan 5, 2021Updated 5 years ago
- ☆11Feb 7, 2024Updated 2 years ago
- A conlang lexicon software made in Python☆13Aug 24, 2025Updated 5 months ago
- A rules induction system for data mining and exploratory data analysis☆11Jul 17, 2024Updated last year
- SQL preprocessor for LaTeX☆11Nov 2, 2025Updated 3 months ago
- This is a general purpose wrapper for converting Datalog queries to Neo4J graph database☆10Dec 9, 2016Updated 9 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- Contains various Greek and Roman works of antiquity that were originally provided as part of the Perseus project (http://www.perseus.tuft…☆14Sep 27, 2013Updated 12 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 8 years ago
- This is QNial - Array Language from Nial systems. It was published under Artistic License, but seems to have disappeared after website re…☆12May 25, 2016Updated 9 years ago
- Selm is the framework to realize Elm architecture in Swift☆12Jan 7, 2020Updated 6 years ago
- Csound CSD Preprocessor☆21Apr 27, 2015Updated 10 years ago
- A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notat…☆16Mar 11, 2012Updated 13 years ago
- A prototype to write blog posts with executable ocaml code blocks☆10Apr 25, 2025Updated 9 months ago
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆11Jul 10, 2023Updated 2 years ago
- ☆10Nov 27, 2019Updated 6 years ago
- Code and slides for Codemania 'Monads to the Rescue' presentation☆21May 12, 2014Updated 11 years ago
- This repository tracks the changes the the "Unix Timesharing System" paper written by Dennis Ritchie and Ken Thompson.☆11Oct 6, 2018Updated 7 years ago
- Multithreaded TCP Client/Server implementation in C++☆10Jul 20, 2022Updated 3 years ago
- Behold, mortal programmer! This repository contains a Hello World program that has transcended the boundaries of sanity and good taste. W…☆15Aug 1, 2025Updated 6 months ago
- Implementation (in progress) of Dieng et al.'s TopicRNN intended to be used as a baseline and starting point.☆10Jun 26, 2018Updated 7 years ago
- Development tools for Atari Jaguar 64☆10Jan 30, 2015Updated 11 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- Interpreter written for Prolog course.☆10Feb 18, 2020Updated 5 years ago
- ಠ_ಠ The most disapproving coding language on the Internet.☆10Nov 4, 2015Updated 10 years ago
- Prolog implemented in Python☆12Sep 6, 2024Updated last year
- Welcome to the LLM Tutorials and RAG Implementations repository! This repository provides tutorials, guides, and implementations for work…☆11Jul 1, 2025Updated 7 months ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 9 months ago
- All code and content for my blog.☆15Sep 23, 2018Updated 7 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- A portable single-layer timer wheel implementation.☆13Dec 8, 2025Updated 2 months ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago