Alternatives and similar repositories for linter-mypy

Users that are interested in linter-mypy are comparing it to the libraries listed below

• jedops / ruby-tfoutputs

  View on GitHub
  Use Terraform outputs in your ruby code.
  ☆11Feb 5, 2020Updated 6 years ago
• fuselang / fuse

  View on GitHub
  Statically typed functional programming language.
  ☆11Jan 25, 2026Updated 3 weeks ago
• DBCDK / serviceprovider

  View on GitHub
  API for the danish public libraries
  ☆11Mar 11, 2025Updated 11 months ago
• outlandnish / fw-ghost-drive

  View on GitHub
  Firmware for the Macchina M2 to use your car as a sim racing controller
  ☆13Jan 5, 2021Updated 5 years ago
• BurntSushi / cablastp

  View on GitHub
  Performs BLAST on compressed proteomic data.
  ☆17Jun 15, 2015Updated 10 years ago
• mauricioszabo / generic-lsp

  View on GitHub
  ☆10Nov 14, 2022Updated 3 years ago
• igamigo / dinogame

  View on GitHub
  Web game, clone of Chrome's dinosaur game.
  ☆10Jan 5, 2023Updated 3 years ago
• Azure / oms-log-analytics-firehose-nozzle

  View on GitHub
  Microsoft Azure Log Analytics Nozzle
  ☆11Mar 28, 2023Updated 2 years ago
• DorresteinLaboratory / Bioactive_Molecular_Networks

  View on GitHub
  Bioactive Molecular Networks Project
  ☆14Nov 17, 2020Updated 5 years ago
• bicarbon8 / JsVehicleTrafficSimulator

  View on GitHub
  a vehicle roadway traffic simulator written in javascript, html and css. rendering is done via the HTML5 canvas.
  ☆12Oct 8, 2023Updated 2 years ago
• sacundim / free-operational

  View on GitHub
  Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.
  ☆25Jun 16, 2017Updated 8 years ago
• adw62 / Ligand-Optimiser

  View on GitHub
  Python optimisation of atomistic ligand charges to maximize receptor binding affinity
  ☆12Aug 3, 2020Updated 5 years ago
• iamvdo / Reveal-liveCoding

  View on GitHub
  Live coding in Reveal.js
  ☆17Aug 9, 2016Updated 9 years ago
• madonoharu / literal-case

  View on GitHub
  A TypeScript library for word case conversions, using Template Literal Types(TS >= 4.1).
  ☆11Feb 17, 2023Updated 3 years ago
• bloomberg / game-trees

  View on GitHub
  Functions and proofs about game trees in Rocq, implemented as rose trees.
  ☆12Dec 2, 2025Updated 2 months ago
• mroman42 / walters

  View on GitHub
  The collected works of R. F. C. Walters
  ☆13Nov 12, 2024Updated last year
• ilyasergey / plt-redex-fj

  View on GitHub
  A PLT Redex implementation of Featherweight Java
  ☆17Oct 8, 2012Updated 13 years ago
• keshavdv / vyattta-config-sync

  View on GitHub
  Open source implementation of Vyatta and VyOS config-sync
  ☆12Oct 26, 2017Updated 8 years ago
• otbe / serverless-dynamodb-graphql-example

  View on GitHub
  ☆11Feb 20, 2018Updated 7 years ago
• helje5 / swift-arm2mac-x-compile-toolchain

  View on GitHub
  SPM toolchain to cross compile macOS Swift binaries on a Raspberry Pi (yes, you read that right)
  ☆12Feb 2, 2018Updated 8 years ago
• atlassian / fluent-plugin-kinesis-aggregation

  View on GitHub
  fluent kinesis plugin shipping KPL aggregation format records, based on https://github.com/awslabs/aws-fluent-plugin-kinesis
  ☆10Jun 23, 2023Updated 2 years ago
• pocarist / hminfer-rust

  View on GitHub
  ☆11Oct 24, 2017Updated 8 years ago
• lvaccaro / BitcoinBlockExplorer

  View on GitHub
  Android Bitcoin Block Explorer
  ☆11Apr 12, 2017Updated 8 years ago
• gummesson / is-empty-object

  View on GitHub
  Check if an object is empty.
  ☆11May 24, 2018Updated 7 years ago
• DamonOehlman / marked-ast-markdown

  View on GitHub
  Given a marked-ast AST generate markdown output
  ☆10Apr 14, 2022Updated 3 years ago
• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 9 years ago
• Wodan58 / joy0

  View on GitHub
  Original Joy
  ☆10Dec 17, 2024Updated last year
• laelath / well-typed-term-generator

  View on GitHub
  A OCaml generator for well-typed terms (that use their arguments).
  ☆11Feb 22, 2025Updated 11 months ago
• OndreVo / JoplinGPTPlugin

  View on GitHub
  ☆11May 2, 2023Updated 2 years ago
• horike37 / lambda-unittest-sample

  View on GitHub
  ☆12Jun 30, 2017Updated 8 years ago
• luqui / Djest

  View on GitHub
  A programming language that deduces code from tests
  ☆30Jan 8, 2018Updated 8 years ago
• ekmett / indexed

  View on GitHub
  Indexed Functors for GHC 7.6
  ☆22Aug 20, 2019Updated 6 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• joshuanianji / idris-2-docker

  View on GitHub
  Multi-arch Docker images for Idris 2
  ☆13Feb 9, 2026Updated last week
• Binaergewitter / serious-bg

  View on GitHub
  The podcasting enabled CMS powering binaergewitter
  ☆24Updated this week
• openphacts / OPS-Knime

  View on GitHub
  Project for integration of OPS and the Knime workflow engine
  ☆14Aug 12, 2015Updated 10 years ago
• endofunky / heart

  View on GitHub
  A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary
  ☆13Sep 8, 2022Updated 3 years ago
• niccoloveltri / final-pfin

  View on GitHub
  ☆12Jan 25, 2022Updated 4 years ago
• kayhide / tree-sitter-idris

  View on GitHub
  ☆12Nov 5, 2024Updated last year