Etec-SA / fregeLinks
A propositional logic library.
☆15Updated last year
Alternatives and similar repositories for frege
Users that are interested in frege are comparing it to the libraries listed below
Sorting:
- LazyVIM blaster master custom configs 🔥☆43Updated 2 weeks ago
- 🔰 Quer aprender a sair do Vim? Dê uma olhada aqui☆80Updated 3 years ago
- Guia para iniciantes sobre DevOps, união de pessoas, processos e tecnologias para fornecer continuamente valor aos clientes.☆99Updated 2 years ago
- Explore as funcionalidades do Obsidian para organizar seu conhecimento 💜☆47Updated 2 years ago
- Repo oficial do He4rtoberfest da He4rt Developers 2023☆83Updated last year
- Repositório para auxiliar iniciantes na linguagem Rust☆170Updated 5 months ago
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆43Updated last year
- Site do Projeto de Ciência da Computação Autodidata☆10Updated 6 years ago
- Tutorial de Bash para iniciantes☆80Updated last year
- ☆34Updated last year
- Aquele repo para você aprender um pouco sobre PostgreSQL. 💜☆45Updated 3 years ago
- Tutorial de Arduino para iniciantes☆79Updated 2 years ago
- Uma versão em Bash para a Rinha de Backend 2ª edição☆34Updated last year
- Aprenda a linguagem Assembly do zero!☆162Updated 2 years ago
- Automatically switch node versions based on package.json recommended engine.☆36Updated last year
- Aplicaçao destinada ao controle de pedidos e itens☆9Updated last year
- Vire um mago do Linux usando window manager. Become a Linux wizard using window manager. i3wm fan guide in portuguese.☆112Updated 4 years ago
- Tem como objetivo apresentar os principais conceitos da web para pessoas que estão iniciando na área de desenvolvimento. O web4noobs faz …☆31Updated 4 years ago
- Alguns algoritmos que todo mundo deve aprender☆35Updated 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 11 months ago
- O manual sobre criação de linguagens☆37Updated 3 years ago
- Porque Bash nunca desaponta☆53Updated last year
- My personal blog☆60Updated this week
- Uma lista de materias pra estudar e ir fundo em ⚡ Domain Driven Design ⚡☆19Updated last year
- Manual de introdução a linguagem Ruby☆23Updated 3 years ago
- Tutorial De Instalação da distribuição ArchLinux.☆113Updated 4 years ago
- Conheça o Spring framework e os demais projetos do ecossistema. Aprenda a criar um projeto Spring na prática.☆113Updated last year
- Uma versão cli do tabnews :) tabnews.com.br☆53Updated 2 years ago
- Um site para ver assuntos dos quais eu já ensinei ou falei sobre.☆40Updated last year
- Lista de participantes do #100DiasDeCodigo☆37Updated last year