Alternatives and similar repositories for apostila-discreta

Users that are interested in apostila-discreta are comparing it to the libraries listed below

• arielsilveira / ModalLibrary
  Modal Logic Library in Coq
  ☆15Updated 3 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆36Updated last week
• rodrigogribeiro / pcc116-2021-2
  ☆10Updated 3 years ago
• folivetti / Category4Programmers
  annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski
  ☆19Updated 5 years ago
• VictorTaelin / taemoba
  ☆14Updated 8 months ago
• reamat / PreCalculo
  Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.
  ☆42Updated 10 months ago
• tsouanas / fmcbook
  Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
  ☆100Updated last month
• foxx3r / FPAboveUs
  Este repósitório irá te ensinar programação funcional do zero com Haskell :) também falaremos um pouco de Prolog e Agda aqui.
  ☆23Updated 4 years ago
• algebraic-dev / idris-4-noobs
  📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
  ☆47Updated 3 years ago
• UniMath / Schools
  ☆86Updated 2 months ago
• algebraic-dev / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆105Updated last year
• VictorTaelin / UrnaCripto
  Referendos criptograficamente incorruptíveis.
  ☆59Updated 8 years ago
• leandronsp / patropi
  Yet another Ruby interpreter for Rinha de Compiladores
  ☆23Updated last year
• samueldurantes / haildo
  Toy programming language
  ☆19Updated last year
• styzystyzy / Axiomatic_Set_Theory
  Formalization of Axiomatic Set Theory in Coq
  ☆18Updated 5 years ago
• lambda-study-group / awesome-functional-studies
  A curated list of functional programming resources to study the fp paradigm
  ☆179Updated 11 months ago
• ryukinix / discrete-mathematics
  A computational way to study discrete mathematics using Haskell
  ☆73Updated 6 years ago
• jeffque / rinha-compiler
  ☆19Updated last year
• wrongbyte / awesome-learning
  A curated list of resources on the science of learning anything
  ☆34Updated 6 months ago
• EduardoRFS / anti-study-study-group
  ☆20Updated last year
• KindaSloth / Haskell4Noobs
  Único roadmap de Haskell possível, do noob ao Thanos
  ☆243Updated last year
• duplicateduuid / banoffee
  Banoffee is a social networking platform tailored for avid readers and knowledge seekers.
  ☆12Updated last year
• EduardoRFS / youtube-channel
  ☆48Updated 2 years ago
• esfericos / tucano
  A service scheduler and load balancer.
  ☆10Updated 11 months ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 6 years ago
• jaalonso / Examenes_de_PF_con_Haskell
  Exámenes de programación funcional con Haskell
  ☆9Updated 2 years ago
• daviromero / nadia
  Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
  ☆30Updated last year
• lincolixavier / awesome-type-theory
  ☆15Updated 3 months ago
• taylorrf / learnhaskell
  Projeto de tradução do livro "Learn You a Haskell for Great Good!"
  ☆127Updated 5 years ago
• Universidade-Livre / rinha-de-algoritmos
  Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!
  ☆165Updated last year