daviromero / nadiaLinks
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
☆30Updated last year
Alternatives and similar repositories for nadia
Users that are interested in nadia are comparing it to the libraries listed below
Sorting:
- Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux☆18Updated last year
- Único roadmap de Haskell possível, do noob ao Thanos☆243Updated last year
- 🧪 | Rinha de Backend Lean4☆64Updated last year
- Repository with tips to find foreign remote jobs for Brazilians.☆144Updated 4 years ago
- Awesome Woovi Challenges☆128Updated last month
- Aprenda a linguagem Assembly do zero!☆162Updated 2 years ago
- Repositório para estudantes brasileiros que estejam cursando o nível superior e que procuram bolsas de estudos / estágios internacionais …☆35Updated 2 years ago
- Tutorial e documentação de Next.js traduzido em português para iniciantes em programação.☆70Updated 3 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
- Tutorial De Linux para iniciantes em Programação.☆407Updated 2 years ago
- Materiais didáticos utilizados nos cursos do Bacharelado em Ciência da Computação da UFABC☆50Updated 4 years ago
- Repositório para iniciantes no MYSQL☆144Updated last year
- Tutorial de OCaml para iniciantes na Linguagem.☆393Updated last year
- Lista de todas as empresas que trabalham com Golang e contratam brasileiros.☆88Updated 7 months ago
- Aprenda UX (User Experience) da teoria a prática com o acervo completo desde estratégias, métodos, analises, estudos e muito mais. | Dedi…☆219Updated 3 years ago
- Service to create post on Twitter and Bluesky via Whatsapp☆72Updated 7 months ago
- Just a simple repo with job challenges from EU/US companies. Solve it if you can :p☆45Updated last year
- Conteúdo para estudo de Ciência da Computação. Melhorias e dicas são bem-vindas 🆙☆147Updated 9 months ago
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆99Updated last week
- ☆44Updated 8 months ago
- QubitSim é uma biblioteca JavaScript moderna que implementa conceitos fundamentais de computação quântica e criptografia quântica. Projet…☆45Updated last week
- Guia completo para preparação da certificação LPI Essentials (LPI LE-1)! 🐧☆154Updated last year
- Um guia/tutorial/cheat-sheet que irá ajudar você começar a estudar e melhorar seus conhecimentos em golang.☆138Updated 2 years ago
- Tutorial de C para iniciantes☆258Updated 7 months ago
- Repo oficial do He4rtoberfest da He4rt Developers 2023☆83Updated last year
- ☆183Updated 3 years ago
- [WIP]Projeto para facilitar e disseminar conhecimento em Kafka com Java.☆32Updated 6 months ago
- ☆121Updated 2 years ago
- A backend challenge of Zé Delivery☆16Updated 4 months ago
- Aprender RegExp pode ser difícil, mas aqui não é! Pode ter certeza!☆50Updated 2 years ago