The Air programming language is carefully designed to solve programming problems once and for all.
-
Updated
Jun 25, 2024 - Rust
The Air programming language is carefully designed to solve programming problems once and for all.
These are my solutions to the tasks in the textbook Mathematical Logic Through Python by Nisan and Gonczarowski.
This repository will help you practice numerous types of problems from beginner level to intermediate level. It also contains solved problems from platforms like LeetCode, gfg and HackerRank.
Asynchronous Graph Programming Framework
Study Codes
No dependency mini-library: rule-based logical solvers.
Discrete Mathematics Final Project
This repository contains all of the HyperionDev Data Science Bootcamp projects that I have created.
QuLIO-XR: a framework for building/querying linguistic ontologies in OWL 2, with natural language expressive responses leveraging LLMs
Implementation of a logical programming language including a tokenizer, LL(1)-parser, translator, evaluator and an execution CLI
Program kalkulator untuk metode Gauss-Jordan untuk menyelesaikan sistem persamaan linear. Menerima input matriks augmented, menghasilkan solusi sistem persamaan linear: solusi tunggal, tak terhingga, atau menyatakan tak ada solusi. Kode MATLAB/Octave tersedia.
Aplicativo que gera CEPs com a API/JSON nivel basico.
JavaScript para iniciantes (mini projetos)
Welcome to my Daily Logical Coding Practice Repository! 🚀
The second project to FLP course focused on logical programming in Prolog.
Welcome to our Daily Problem Solving repository! Here, we aim to tackle a diverse array of coding challenges sourced from LeetCode on a daily basis. Join us in the journey of continuous learning, improvement, and problem-solving mastery.
Add a description, image, and links to the logical-programming topic page so that developers can more easily learn about it.
To associate your repository with the logical-programming topic, visit your repo's landing page and select "manage topics."