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:
- Aplicaçao destinada ao controle de pedidos e itens☆9Updated last year
- Aquele repo para você aprender um pouco sobre PostgreSQL. 💜☆46Updated 3 years ago
- ☆10Updated 3 months ago
- Repositório para auxiliar iniciantes na linguagem Rust☆171Updated 7 months ago
- Tutorial de Bash para iniciantes☆80Updated last year
- FocusPocus is a browser extension created to help you maintain focus on your studies by blocking access to pages that may distract you du…☆80Updated last year
- LazyVIM blaster master custom configs 🔥☆46Updated last month
- 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.☆101Updated 2 years ago
- Awesome Woovi Challenges☆131Updated 2 weeks ago
- How to create an OPENVPN Server☆103Updated 10 months ago
- Aprenda a linguagem Assembly do zero!☆164Updated 2 years ago
- Tutorial de Arduino para iniciantes☆79Updated 2 years ago
- Guia completo para preparação da certificação LPI Essentials (LPI LE-1)! 🐧☆154Updated last year
- Service to create post on Twitter and Bluesky via Whatsapp☆71Updated 8 months ago
- Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!☆166Updated last year
- 🔰 Quer aprender a sair do Vim? Dê uma olhada aqui☆78Updated 3 years ago
- tech ears: the place where devs can learn english for free☆170Updated 11 months ago
- Alguns algoritmos que todo mundo deve aprender☆35Updated last year
- ☆55Updated 2 years ago
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆43Updated last year
- O manual sobre criação de linguagens☆38Updated 3 years ago
- Scylla Studio – ⚡ A modern and intuitive front-end for ScyllaDB 🐙, enabling visualization 👀, creation ✏️, and management ⚙️ of keyspace…☆45Updated 3 weeks ago
- An anti-procrastination to-do list.☆205Updated last week
- Um repositório com todos os projetos criados por causa do TabNews.☆86Updated last year
- Explore as funcionalidades do Obsidian para organizar seu conhecimento 💜☆47Updated 2 years ago
- ☆79Updated 9 months ago
- Curso de Compiladores☆80Updated 2 years ago
- Site do Projeto de Ciência da Computação Autodidata☆10Updated 6 years ago
- Uma lista de materias pra estudar e ir fundo em ⚡ Domain Driven Design ⚡☆19Updated last year