MarcinCiura / O-dobrym-programowaniu-w-PythonieLinks
O dobrym programowaniu w Pythonie
☆20Updated 8 months ago
Alternatives and similar repositories for O-dobrym-programowaniu-w-Pythonie
Users that are interested in O-dobrym-programowaniu-w-Pythonie are comparing it to the libraries listed below
Sorting:
- Repozytorium z zadaniami z podstaw sztucznej inteligencji☆43Updated 8 months ago
- ☆13Updated 3 months ago
- Operating Systems course at AGH UST☆34Updated 2 years ago
- Python library for continual lifelong anomaly detection☆18Updated last month
- The Power of Prolog: Introduction to modern Prolog☆1,326Updated last month
- ☆46Updated 2 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆372Updated 3 weeks ago
- Elixir School 2025 edition☆13Updated 5 months ago
- A modern Prolog implementation written mostly in Rust.☆2,283Updated this week
- ☆12Updated last month
- ☆57Updated 3 years ago
- SWI-Prolog Main development repository☆1,110Updated this week
- Curated list of Prolog packages and resources☆549Updated 3 years ago
- A framework for applied category theory in the Julia language☆673Updated 3 weeks ago
- A Tufte-styled LaTeX class for theses☆47Updated 2 years ago
- 🦉 A grounder and solver for logic programs.☆695Updated this week
- An add-on to LaTeX Workshop that provides some features that go beyond the bare essentials☆547Updated last year
- ☆21Updated last week
- Qminers Quant Hackaton 2024☆10Updated 9 months ago
- Proving leftpad correct two-dozen different ways☆694Updated 5 months ago
- Spelling, grammar and style checking on LaTeX documents☆1,007Updated 4 months ago
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆387Updated 2 months ago
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆784Updated 3 months ago
- Telegram bot that search for free classrooms at PoliMi!☆21Updated last year
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,216Updated this week
- A comprehensive LaTeX template with examples for theses, books and more, employing the 'latest and greatest' (UTF8, glossaries, fonts, ..…☆239Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆92Updated 10 months ago
- A typographically elegant, clean, and structured LaTeX template.☆216Updated last week
- The implementation of FOLD-R++ algorithm☆17Updated last year
- Project Ignythe is a set of workshops for BIT Java classes that are part of BIT Scientific Research Group at AGH UST in Poland.☆13Updated 2 years ago