Etec-SA / fregeLinks
A propositional logic library.
☆17Updated last year
Alternatives and similar repositories for frege
Users that are interested in frege are comparing it to the libraries listed below
Sorting:
- Repositório para auxiliar iniciantes na linguagem Rust☆170Updated 9 months ago
- LazyVIM blaster master custom configs 🔥☆47Updated 4 months ago
- Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!☆171Updated last year
- Aprender RegExp pode ser difícil, mas aqui não é! Pode ter certeza!☆50Updated 2 years ago
- Site do Projeto de Ciência da Computação Autodidata☆10Updated 6 years ago
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆43Updated last year
- Tutorial de Arduino para iniciantes☆79Updated 2 years ago
- Awesome Woovi Challenges☆135Updated 2 months ago
- Aquele repo para você aprender um pouco sobre PostgreSQL. 💜☆47Updated 3 years ago
- Tutorial de Bash para iniciantes☆81Updated 2 years ago
- Uma lista de materias pra estudar e ir fundo em ⚡ Domain Driven Design ⚡☆20Updated 2 years ago
- Automatically switch node versions based on package.json recommended engine.☆36Updated last year
- Repo oficial do He4rtoberfest da He4rt Developers 2023☆83Updated last year
- Guia para iniciantes sobre DevOps, união de pessoas, processos e tecnologias para fornecer continuamente valor aos clientes.☆102Updated 2 years ago
- Scylla Studio – ⚡ A modern and intuitive front-end for ScyllaDB 🐙, enabling visualization 👀, creation ✏️, and management ⚙️ of keyspace…☆44Updated last month
- FocusPocus is a browser extension created to help you maintain focus on your studies by blocking access to pages that may distract you du…☆83Updated 2 months ago
- Service to create post on Twitter and Bluesky via Whatsapp☆71Updated 10 months ago
- An anti-procrastination to-do list.☆208Updated last month
- ☆10Updated 5 months ago
- How to create an OPENVPN Server☆102Updated last year
- Guia completo para preparação da certificação LPI Essentials (LPI LE-1)! 🐧☆171Updated 2 years ago
- Bluesky-Repost-Bot☆40Updated 4 months ago
- 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.☆14Updated 2 years ago
- ☆27Updated last year
- 🔰 Quer aprender a sair do Vim? Dê uma olhada aqui☆87Updated 3 years ago
- Lista de participantes do #100DiasDeCodigo☆37Updated last year
- O manual sobre criação de linguagens☆38Updated 4 years ago
- Tutorial de Ruby para iniciantes na Linguagem.☆91Updated last year
- Um guia/tutorial/cheatsheet que irá ajudar você começar a estudar e melhorar seus conhecimentos sobre containers.☆15Updated 3 months ago
- Um repositório com todos os projetos criados por causa do TabNews.☆86Updated last year