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:
- Aprenda a linguagem Assembly do zero!☆180Updated 2 years ago
- Repositório para auxiliar iniciantes na linguagem Rust☆173Updated last month
- Aprender RegExp pode ser difícil, mas aqui não é! Pode ter certeza!☆50Updated 3 years ago
- Aquele repo para você aprender um pouco sobre PostgreSQL. 💜☆49Updated 3 years ago
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆44Updated last year
- Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!☆174Updated 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…☆82Updated 4 months ago
- Guia para iniciantes sobre DevOps, união de pessoas, processos e tecnologias para fornecer continuamente valor aos clientes.☆103Updated 2 years ago
- Tutorial de Bash para iniciantes☆81Updated 2 years ago
- Awesome Woovi Challenges☆141Updated 4 months ago
- Automatically switch node versions based on package.json recommended engine.☆36Updated last year
- LazyVIM blaster master custom configs 🔥☆48Updated 6 months ago
- Service to create post on Twitter and Bluesky via Whatsapp☆71Updated last year
- O manual sobre criação de linguagens☆38Updated 4 years ago
- Tutorial de Arduino para iniciantes☆79Updated 2 years ago
- tech ears: the place where devs can learn english for free☆172Updated last year
- How to create an OPENVPN Server☆101Updated last year
- Explore as funcionalidades do Obsidian para organizar seu conhecimento 💜☆49Updated 2 years ago
- Repo oficial do He4rtoberfest da He4rt Developers 2023☆83Updated 2 years ago
- Desafios de contratação. Vem fazer parte do nosso time!☆114Updated last year
- An anti-procrastination to-do list.☆209Updated 3 months ago
- Livro de Assembly x86 e x86-64☆144Updated 2 years ago
- Lista de participantes do #100DiasDeCodigo☆37Updated last year
- Uma lista de materias pra estudar e ir fundo em ⚡ Domain Driven Design ⚡☆20Updated 2 years ago
- 🔰 Quer aprender a sair do Vim? Dê uma olhada aqui☆87Updated 3 years ago
- Porque Bash nunca desaponta☆54Updated last year
- 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.☆14Updated 2 years ago
- Scylla Studio – ⚡ A modern and intuitive front-end for ScyllaDB 🐙, enabling visualization 👀, creation ✏️, and management ⚙️ of keyspace…☆46Updated last month
- Octopost is an open source service from Devhat that was created to guide new developers for free☆76Updated last year
- Uma versão cli do tabnews :) tabnews.com.br☆53Updated 2 years ago