Alternatives and similar repositories for MateriaisDidaticos

Users that are interested in MateriaisDidaticos are comparing it to the libraries listed below

• terremoth / lanchepelowhats

  View on GitHub
  Peça lanches facilmente para lanchonetes pelo WhatsApp com essa ferramenta
  ☆40Jul 9, 2021Updated 4 years ago
• Lambda-MA / estudos_funcionais

  View on GitHub
  Repositório com materiais de estudo sobre programação funcional em geral ou programação funcional em diversas linguagens.
  ☆16Jun 9, 2020Updated 5 years ago
• evaporei / hisp

  View on GitHub
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Sep 13, 2019Updated 6 years ago
• damorim / compilers-cin

  View on GitHub
  Teaching material for introduction to compilers course at UFPE
  ☆22May 1, 2021Updated 4 years ago
• irsyadpage / NoteFinder

  View on GitHub
  Search comments and highlights annotations in PDF documents.
  ☆12May 4, 2023Updated 2 years ago
• sigmaSd / RecordApps

  View on GitHub
  A desktop application that allows you to record audio from specific applications on Linux. Built with Deno, Svelte, and WebView.
  ☆15Jan 19, 2026Updated 3 weeks ago
• foxx3r / FPAboveUs

  View on GitHub
  Este repósitório irá te ensinar programação funcional do zero com Haskell :) também falaremos um pouco de Prolog e Agda aqui.
  ☆23Nov 4, 2020Updated 5 years ago
• gurodrigues-dev / bee-crowd

  View on GitHub
  This repository contains solutions for Beecrowd exercises, showcasing over 400 solved problems across more than 21 programming languages.…
  ☆12Feb 26, 2025Updated 11 months ago
• lava-jato-the-game / docs

  View on GitHub
  Lava Jato - The Game (tales of corruption)
  ☆32Feb 27, 2019Updated 6 years ago
• Tiagosf00 / Competitive-Programming

  View on GitHub
  Repositório com resumos e algoritmos utilizados no âmbito competitivo.
  ☆39Feb 6, 2026Updated last week
• onhernandes / sounder

  View on GitHub
  Music API - Download from YouTube and write metadata
  ☆10Jan 7, 2023Updated 3 years ago
• kztk-m / sparcl

  View on GitHub
  Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
  ☆12Jan 15, 2026Updated last month
• rodrigoAMF / competitive-programming

  View on GitHub
  Repositório com materiais para competições de programação
  ☆10Oct 3, 2019Updated 6 years ago
• mrhaki / BlogSamples

  View on GitHub
  Sample code for blog posts
  ☆15Oct 26, 2012Updated 13 years ago
• berenddeboer / xplain2sql

  View on GitHub
  Translate semantic database language Xplain to SQL
  ☆10Feb 1, 2021Updated 5 years ago
• brexhq / bazel-kotlin-vscode-extension

  View on GitHub
  VSCode extension for Kotlin Language Server/Kotlin Debug Adapter with Bazel support
  ☆14Nov 6, 2025Updated 3 months ago
• liamdawson / vscode-jsonnet-language

  View on GitHub
  ☆10Jun 2, 2020Updated 5 years ago
• TulipBrowser / TulipBrowser

  View on GitHub
  Repositório principal do TulipBrowser, um navegador minimalista, rápido e eficiente. 100% BR. 🚀🐔
  ☆11Mar 13, 2025Updated 11 months ago
• victoraugustofd / trafalgar-log

  View on GitHub
  Python Framework that standardize JSON Logs and make it easy to use.
  ☆12Oct 25, 2022Updated 3 years ago
• aspect-build / rules_cypress

  View on GitHub
  Bazel rules for https://www.cypress.io
  ☆12Feb 10, 2026Updated last week
• TheSignPainter98 / vex

  View on GitHub
  A blazingly-fast, hackable linter
  ☆10Apr 15, 2025Updated 10 months ago
• FACOMpetindo / programacao-competitiva

  View on GitHub
  Repositório para ensinar algoritmos e estruturas de dados em Python e C++
  ☆47Feb 8, 2025Updated last year
• hylo-lang / vscode-hylo

  View on GitHub
  Syntax highlighting in Visual Studio Code
  ☆11Feb 4, 2026Updated last week
• sr2ds / learning-rust

  View on GitHub
  🦀 📚 🧑‍🎓 Aprendendo Rust | Learning Rust - Personal Studies about Rust Language
  ☆10Aug 10, 2023Updated 2 years ago
• Olivr / nx-copybara

  View on GitHub
  Example of using Copybara to open-source a library from a nx monorepo
  ☆10Oct 3, 2020Updated 5 years ago
• scalagwt / scalagwt-sample

  View on GitHub
  Sample Scala+GWT project
  ☆23Apr 11, 2012Updated 13 years ago
• grin-compiler / ghc-wpc

  View on GitHub
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…
  ☆10Feb 14, 2024Updated 2 years ago
• cannudo / g-horarios

  View on GitHub
  Sistema gerenciador de horários feito como projeto integrador na matéria de PDS Web, do curso TADS
  ☆10Nov 18, 2025Updated 2 months ago
• jemc / pony-capnp

  View on GitHub
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Apr 7, 2018Updated 7 years ago
• spencercarli / react-native-bar-graph-animation-example

  View on GitHub
  ☆10Jan 4, 2017Updated 9 years ago
• zkayser / pfds_elixir

  View on GitHub
  Okasaki's Purely Functional Data Structures in Elixir
  ☆13May 6, 2019Updated 6 years ago
• mauricioabreu / tutorial-de-go

  View on GitHub
  ☆11Feb 13, 2023Updated 3 years ago
• zkayser / pfds_visualizations

  View on GitHub
  A UI for visualizing purely functional data structures
  ☆11May 18, 2019Updated 6 years ago
• Barry-Jay / SF

  View on GitHub
  Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus
  ☆11Mar 31, 2017Updated 8 years ago
• jasontrigg0 / pawk

  View on GitHub
  Awk-like tool using python
  ☆11Aug 4, 2020Updated 5 years ago
• BenFradet / vscode-unison

  View on GitHub
  Unison syntax highlighting for VS code
  ☆10Jul 13, 2022Updated 3 years ago
• caneroj1 / hoogle-vscode

  View on GitHub
  Haskell Hoogle search in Visual Studio Code
  ☆13Sep 9, 2018Updated 7 years ago
• andersk / tiny-lambda

  View on GitHub
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Mar 8, 2016Updated 9 years ago
• commonwealth-of-puerto-rico / libre

  View on GitHub
  LIBRE = Libre Information Batch Restructuring Engine.
  ☆70Oct 3, 2014Updated 11 years ago