Etec-SA / frege
A propositional logic library.
☆15Updated 9 months ago
Alternatives and similar repositories for frege:
Users that are interested in frege are comparing it to the libraries listed below
- Aquele repo para você aprender um pouco sobre PostgreSQL. 💜☆45Updated 2 years ago
- LazyVIM blaster master custom configs 🔥☆34Updated last month
- 🔰 Quer aprender a sair do Vim? Dê uma olhada aqui☆80Updated 2 years ago
- Uma versão em Bash para a Rinha de Backend 2ª edição☆34Updated 11 months ago
- Tutorial de Arduino para iniciantes☆80Updated 2 years ago
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆41Updated 10 months ago
- Explore as funcionalidades do Obsidian para organizar seu conhecimento 💜☆47Updated last year
- O manual sobre criação de linguagens☆37Updated 3 years ago
- Um site para ver assuntos dos quais eu já ensinei ou falei sobre.☆39Updated 11 months ago
- Repo oficial do He4rtoberfest da He4rt Developers 2023☆84Updated last year
- A dead-simple automation tool. Inspired by Makefile and Justfile.☆29Updated 3 months ago
- Guia para iniciantes sobre DevOps, união de pessoas, processos e tecnologias para fornecer continuamente valor aos clientes.☆98Updated 2 years ago
- Aprender RegExp pode ser difícil, mas aqui não é! Pode ter certeza!☆50Updated 2 years ago
- Stop worrying about regex, start worrying about another language☆50Updated 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…☆77Updated 8 months ago
- 📖 Exercicios de Algoritmos da UBL☆34Updated 2 years ago
- Bluesky-Repost-Bot☆40Updated 5 months ago
- Convert videos into text animation!☆41Updated last year
- 4Noobs-Web, cursos da comunidade para comunidade☆44Updated 2 years ago
- Site do Projeto de Ciência da Computação Autodidata☆10Updated 5 years ago
- Tutorial de Bash para iniciantes☆79Updated last year
- API feita em NodeJS para cadastrar e gerenciar lista de compras☆52Updated 2 years ago
- Repo para iniciantes no MongoDB.☆76Updated last year
- Alguns algoritmos que todo mundo deve aprender☆35Updated last year
- A digital garden prototype - my notes and links are here☆41Updated 2 years ago
- ☆16Updated 2 months ago
- Uma lista de materias pra estudar e ir fundo em ⚡ Domain Driven Design ⚡☆18Updated last year
- Um acervo de conteúdos sobre Segurança da Informação de uma forma simplificada.☆22Updated last year
- Repositório para auxiliar iniciantes na linguagem Rust☆168Updated 2 months ago
- My personal blog☆57Updated this week