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:
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆43Updated last year
- Repositório para auxiliar iniciantes na linguagem Rust☆170Updated 6 months ago
- LazyVIM blaster master custom configs 🔥☆45Updated last month
- 🔰 Quer aprender a sair do Vim? Dê uma olhada aqui☆80Updated 3 years ago
- Uma versão em Bash para a Rinha de Backend 2ª edição☆35Updated last year
- Tutorial de Bash para iniciantes☆80Updated last year
- Um acervo de conteúdos sobre Segurança da Informação de uma forma simplificada.☆26Updated 2 years ago
- Guia para iniciantes sobre DevOps, união de pessoas, processos e tecnologias para fornecer continuamente valor aos clientes.☆99Updated 2 years ago
- O manual sobre criação de linguagens☆38Updated 3 years ago
- Aquele repo para você aprender um pouco sobre PostgreSQL. 💜☆45Updated 3 years ago
- Tutorial de Arduino para iniciantes☆79Updated 2 years ago
- Explore as funcionalidades do Obsidian para organizar seu conhecimento 💜☆47Updated 2 years ago
- QubitSim é uma biblioteca JavaScript moderna que implementa conceitos fundamentais de computação quântica e criptografia quântica. Projet…☆45Updated last month
- Guia completo para preparação da certificação LPI Essentials (LPI LE-1)! 🐧☆154Updated last year
- Awesome Woovi Challenges☆130Updated last month
- Repo oficial do He4rtoberfest da He4rt Developers 2023☆83Updated last year
- A dead-simple automation tool. Inspired by Makefile and Justfile.☆31Updated last month
- Repo para iniciantes no MongoDB.☆77Updated 2 years ago
- Um site para ver assuntos dos quais eu já ensinei ou falei sobre.☆40Updated last year
- My personal blog☆60Updated this week
- Aprenda a linguagem Assembly do zero!☆163Updated 2 years ago
- 📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.☆13Updated last year
- ☆55Updated 2 years ago
- ☆77Updated 8 months ago
- Vire um mago do Linux usando window manager. Become a Linux wizard using window manager. i3wm fan guide in portuguese.☆111Updated 4 years ago
- API feita em NodeJS para cadastrar e gerenciar lista de compras☆51Updated 2 years ago
- Looogann_ : Gabigolang uma linguagem de programação muito simples e fácil de usar. Além disso, ele se destaca onde muitas das linguagens …☆115Updated 5 years ago
- A project to teach POO to everyone who wants to learn more about this topic. This is a open-source learning project by He4rtDevs☆46Updated 2 years ago
- 🧪 | Rinha de Backend Lean4☆64Updated last year
- Este é o repositório utilizado para a realização dos testes seletivos para novos Devs na Bankme☆116Updated 10 months ago