rodrigogribeiro / apostila-discreta

Related projects ⓘ

Alternatives and complementary repositories for apostila-discreta

• arielsilveira / ModalLibrary
  Modal Logic Library in Coq
  ☆14Updated 2 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆36Updated last week
• rodrigogribeiro / pcc116-2021-2
  ☆10Updated 2 years ago
• tsouanas / fmcbook
  Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
  ☆95Updated last week
• VictorTaelin / taemoba
  ☆13Updated 3 weeks ago
• folivetti / Category4Programmers
  annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski
  ☆18Updated 5 years ago
• styzystyzy / Axiomatic_Set_Theory
  Formalization of Axiomatic Set Theory in Coq
  ☆18Updated 5 years ago
• reamat / PreCalculo
  Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.
  ☆36Updated 3 months ago
• ufabc-bcc / MateriaisDidaticos
  Materiais didáticos utilizados nos cursos do Bacharelado em Ciência da Computação da UFABC
  ☆46Updated 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).
  ☆46Updated 2 years ago
• KindaSloth / Haskell4Noobs
  Único roadmap de Haskell possível, do noob ao Thanos
  ☆244Updated last year
• dhilst / lis.py
  Small lisp interpreter in Python
  ☆9Updated 2 years ago
• 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.
  ☆24Updated 4 years ago
• lambda-study-group / awesome-functional-studies
  A curated list of functional programming resources to study the fp paradigm
  ☆178Updated 3 months ago
• J-AugustoManzano / livro_Algoritmos-Funcionais
  Conteúdo adicional e complementar do livro "Algoritmos Funcionais" publicado pela editora Alta Books. Estes arquivos são uma prévia do co…
  ☆13Updated last year
• algebraic-dev / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆104Updated 11 months ago
• gambiconf / gambiconf.github.io
  🐒 The Blow Your Mind Conference
  ☆13Updated last month
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆95Updated 2 years ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆65Updated last month
• VictorTaelin / UrnaCripto
  Referendos criptograficamente incorruptíveis.
  ☆57Updated 8 years ago
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆60Updated 2 years ago
• UniMath / Schools
  ☆77Updated 2 months ago
• taylorrf / learnhaskell
  Projeto de tradução do livro "Learn You a Haskell for Great Good!"
  ☆125Updated 5 years ago
• Camilotk / ocaml4noobs
  Tutorial de OCaml para iniciantes na Linguagem.
  ☆389Updated last year
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆76Updated last year
• ryukinix / discrete-mathematics
  A computational way to study discrete mathematics using Haskell
  ☆72Updated 5 years ago
• AndrasKovacs / SemanticsWithApplications
  Formal semantics in Agda.
  ☆15Updated 9 years ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆71Updated 2 years ago
• tomdjong / MGS-domain-theory
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆44Updated 8 months ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆107Updated 2 years ago