Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by MarcinBrojek
A curated list of projects in awesome lists by MarcinBrojek .
https://github.com/marcinbrojek/jpp-interpreter
An interpreter for an imperative programming language with syntax based on a subset of C/C++. The program consists of variable and function declarations. When executed, it runs the declared main function. Written in Haskell.
bcnf cpp-syntax haskell interpreter tests
Last synced: 21 Nov 2024
https://github.com/marcinbrojek/zpo-mgr
Explore dynamic code analysis in an interpreter for a language that allows on-the-fly customization of syntax rules, small-step operational semantics, and typing. This project facilitates real-time modifications to language interpretation, empowering users to adapt coding experiences according to specific needs.
dynamic-analysis interpreter language-design operational-semantics python syntax-rules type-system
Last synced: 30 Nov 2024
https://github.com/marcinbrojek/log-fo-prover
A tool for automatically verifying whether a given first-order logic formula is a tautology, based on Herbrand's theory and the Davis-Putnam SAT solver. Implemented in C++.
automated-theorem-proving cpp first-order-logic
Last synced: 30 Nov 2024
https://github.com/marcinbrojek/www-editor
A web application for writing C programs. It functions as an online text editor, allowing users to create and manage their programs in a web-based environment. The application is a single-page web app, providing a seamless user experience without page refreshes.
django html javascript online-text-editor web-aplication
Last synced: 30 Nov 2024