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:
- Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!☆174Updated last year
- 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
- LazyVIM blaster master custom configs 🔥☆48Updated 7 months ago
- Um site para ver assuntos dos quais eu já ensinei ou falei sobre.☆40Updated last year
- 🧪 | Rinha de Backend Lean4☆66Updated 2 years ago
- Repositório para auxiliar iniciantes na linguagem Rust☆174Updated last month
- 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 5 months ago
- Awesome Woovi Challenges☆141Updated 5 months ago
- tech ears: the place where devs can learn english for free☆174Updated last year
- How to create an OPENVPN Server☆101Updated last year
- Desafios de contratação. Vem fazer parte do nosso time!☆117Updated last year
- Aprenda a linguagem Assembly do zero!☆181Updated 2 years ago
- This project is about creating a your own simple bash, learning more about processes and file descriptors.☆13Updated last year
- Service to create post on Twitter and Bluesky via Whatsapp☆71Updated last year
- Um repositório com todos os projetos criados por causa do TabNews.☆89Updated 2 years ago
- ☆58Updated 2 years ago
- Tradução do livro Structure and Interpretation of Computer Programs (SICP) - 2ª edição.☆69Updated 5 years ago
- Livro de Assembly x86 e x86-64☆143Updated 2 years ago
- ☆10Updated 8 months ago
- A free platform for Brazilian developers to improve their English skills.☆205Updated 6 months ago
- An anti-procrastination to-do list.☆210Updated 4 months ago
- Este é o repositório utilizado para a realização dos testes seletivos para novos Devs na Bankme☆118Updated last year
- examples to illustrate my YouTube channel's episode 118 about Databases☆254Updated 3 years ago
- Self updating README☆96Updated this week
- Aquele repo para você aprender um pouco sobre PostgreSQL. 💜☆49Updated 3 years ago
- Uma versão cli do tabnews :) tabnews.com.br☆53Updated 3 years ago
- API feita em NodeJS para cadastrar e gerenciar lista de compras☆52Updated 3 years ago
- Esse site é o primo brasileiro do Don't Ask to Ask. É sobre como conseguir a resposta mais esclarecedora, o mais rápido possível.☆24Updated 2 years ago
- Minhas publicações no LaTex☆149Updated 5 months ago