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!☆167Updated 2 years ago
- Guia para iniciantes sobre DevOps, união de pessoas, processos e tecnologias para fornecer continuamente valor aos clientes.☆102Updated 2 years ago
- Repositório para auxiliar iniciantes na linguagem Rust☆170Updated 8 months ago
- Aquele repo para você aprender um pouco sobre PostgreSQL. 💜☆47Updated 3 years ago
- Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!☆169Updated last year
- Tutorial de Arduino para iniciantes☆79Updated 2 years ago
- Site do Projeto de Ciência da Computação Autodidata☆10Updated 6 years ago
- LazyVIM blaster master custom configs 🔥☆46Updated 3 months ago
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆43Updated last year
- Aprender RegExp pode ser difícil, mas aqui não é! Pode ter certeza!☆50Updated 2 years ago
- Tutorial de Ruby para iniciantes na Linguagem.☆91Updated last year
- Explore as funcionalidades do Obsidian para organizar seu conhecimento 💜☆47Updated 2 years ago
- 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 last month
- 🔰 Quer aprender a sair do Vim? Dê uma olhada aqui☆86Updated 3 years ago
- tech ears: the place where devs can learn english for free☆170Updated last year
- 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.☆14Updated last year
- Repo oficial do He4rtoberfest da He4rt Developers 2023☆83Updated last year
- Lista de participantes do #100DiasDeCodigo☆37Updated last year
- Scylla Studio – ⚡ A modern and intuitive front-end for ScyllaDB 🐙, enabling visualization 👀, creation ✏️, and management ⚙️ of keyspace…☆44Updated last week
- Automatically switch node versions based on package.json recommended engine.☆36Updated last year
- Self updating README☆95Updated this week
- A project to teach POO to everyone who wants to learn more about this topic. This is a open-source learning project by He4rtDevs☆48Updated 2 years ago
- Guia completo para preparação da certificação LPI Essentials (LPI LE-1)! 🐧☆171Updated 2 years ago
- Desafios de contratação. Vem fazer parte do nosso time!☆113Updated 10 months ago
- Tutorial de Bash para iniciantes☆81Updated 2 years ago
- Tutorial e documentação de Next.js traduzido em português para iniciantes em programação.☆70Updated 3 years ago
- ☆123Updated 2 years ago
- Awesome Woovi Challenges☆134Updated 2 months ago
- Convert videos into text animation!☆40Updated last year
- Service to create post on Twitter and Bluesky via Whatsapp☆71Updated 10 months ago