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
- O manual sobre criação de linguagens☆38Updated 4 years ago
- Repositório para auxiliar iniciantes na linguagem Rust☆175Updated 3 months ago
- LazyVIM blaster master custom configs 🔥☆48Updated 8 months ago
- Awesome Woovi Challenges☆143Updated 7 months ago
- Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!☆173Updated last year
- Aprenda a linguagem Assembly do zero!☆181Updated 2 years ago
- Aprender RegExp pode ser difícil, mas aqui não é! Pode ter certeza!☆50Updated 3 years ago
- Automatically switch node versions based on package.json recommended engine.☆36Updated 2 years ago
- Tutorial de Bash para iniciantes☆81Updated 2 years ago
- tech ears: the place where devs can learn english for free☆174Updated last year
- ☆57Updated 2 years ago
- Aquele repo para você aprender um pouco sobre PostgreSQL. 💜☆49Updated 3 years ago
- Site do Projeto de Ciência da Computação Autodidata☆10Updated 6 years ago
- Guia para iniciantes sobre DevOps, união de pessoas, processos e tecnologias para fornecer continuamente valor aos clientes.☆105Updated 3 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 6 months ago
- Uma versão cli do tabnews :) tabnews.com.br☆53Updated 3 years ago
- Service to create post on Twitter and Bluesky via Whatsapp☆71Updated last year
- A free platform for Brazilian developers to improve their English skills.☆206Updated 7 months ago
- A starter portfolio/blog theme designed by me and created for developers tell stories about their work. 🚀☆58Updated 3 years ago
- Octopost is an open source service from Devhat that was created to guide new developers for free☆76Updated last year
- A project to teach POO to everyone who wants to learn more about this topic. This is a open-source learning project by He4rtDevs☆50Updated 3 years ago
- Desafios de contratação. Vem fazer parte do nosso time!☆117Updated last year
- Um repositório com todos os projetos criados por causa do TabNews.☆90Updated 2 years ago
- My personal blog☆62Updated this week
- How to create an OPENVPN Server☆100Updated last year
- Repo para iniciantes no MongoDB.☆77Updated 2 years ago
- 🔰 Quer aprender a sair do Vim? Dê uma olhada aqui☆86Updated 3 years ago
- BacenSimulator is a docker image to simulate bacen, a official brazilian payment infrastructure☆105Updated last year
- Self updating README☆96Updated this week