Alternatives and similar repositories for shady-gen

Users that are interested in shady-gen are comparing it to the libraries listed below

• sgraf812 / elm-graph

  View on GitHub
  This repository moved to https://github.com/elm-community/graph
  ☆16Feb 22, 2023Updated 2 years ago
• charlescharles / mixcoin

  View on GitHub
  An implementation of the Mixcoin mixing protocol
  ☆13Nov 12, 2014Updated 11 years ago
• LEMS / pylems

  View on GitHub
  LEMS interpreter implemented in Python
  ☆12Nov 26, 2025Updated 2 months ago
• evancz / task-tutorial

  View on GitHub
  Friendly functions for getting started with tasks
  ☆11Nov 18, 2015Updated 10 years ago
• nmz787 / python-brlcad-tcl

  View on GitHub
  A small (but hopefully growing) subset of the brl-cad primitives, being emitted as tcl scripts that mged can directly process into databa…
  ☆10Dec 16, 2025Updated last month
• 98devin / woden-lang

  View on GitHub
  A stack-based, interpreted programming language implemented in livescript.
  ☆10Sep 11, 2016Updated 9 years ago
• sburns / pycon-2015-compendium

  View on GitHub
  Presenters, titles & links
  ☆10Apr 13, 2015Updated 10 years ago
• ocramz / taco-hs

  View on GitHub
  Haskell port of the Tensor Algebra COmpiler
  ☆16Nov 18, 2019Updated 6 years ago
• technomancy / lein-tar

  View on GitHub
  Create tarballs from Leiningen projects.
  ☆25Oct 20, 2014Updated 11 years ago
• folktale / control.monads

  View on GitHub
  Migrating to https://github.com/origamitower/folktale
  ☆20Sep 6, 2016Updated 9 years ago
• joneshf / elm-profunctors

  View on GitHub
  ☆13Aug 7, 2016Updated 9 years ago
• imalsogreg / arte-ephys

  View on GitHub
  Soft realtime electrophysiology setup
  ☆14Jan 8, 2016Updated 10 years ago
• AugustoL / SteemBlog

  View on GitHub
  Blog showing content form steem blockchian using steemit platform and api.
  ☆10May 26, 2017Updated 8 years ago
• cnwzhjs / python.erl

  View on GitHub
  Python interpreter written in pure Erlang.
  ☆60Jan 10, 2013Updated 13 years ago
• Beluga-lang / Meta

  View on GitHub
  Mechanizing Types and Programming Languages using Beluga
  ☆21May 29, 2020Updated 5 years ago
• brendan-byrne / Panoramical-Controller

  View on GitHub
  MIDI Controller for Panoramical
  ☆18Apr 7, 2014Updated 11 years ago
• senko / dj-skeletor

  View on GitHub
  A skeleton Django project
  ☆94Jan 21, 2022Updated 4 years ago
• dorchard / effect-monad

  View on GitHub
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆99Oct 21, 2025Updated 3 months ago
• thufschmitt / tix-papers

  View on GitHub
  Some writings about a type system for nix
  ☆19Dec 18, 2017Updated 8 years ago
• bobatkey / foveran

  View on GitHub
  A Dependently Typed Programming Language
  ☆26Jul 24, 2020Updated 5 years ago
• frelindb / agsyHOL

  View on GitHub
  ☆22May 19, 2016Updated 9 years ago
• nmattia / haskell-hot-swap

  View on GitHub
  Hot swapping compiled code while keeping a websocket connection open
  ☆26May 24, 2016Updated 9 years ago
• paulyoung / purescript-corefn

  View on GitHub
  A library for working with the PureScript functional core.
  ☆24Jun 9, 2020Updated 5 years ago
• avh4 / elm-animations

  View on GitHub
  ☆17Jun 21, 2015Updated 10 years ago
• purescript-deprecated / purescript-strongcheck

  View on GitHub
  ☆26Oct 3, 2020Updated 5 years ago
• sqrrrl / passport-google-plus

  View on GitHub
  PassportJS strategy for Google+ Sign-In
  ☆33Feb 17, 2016Updated 9 years ago
• axemclion / karma-telemetry

  View on GitHub
  Karma Framework for running performance tasks using Telemetry
  ☆37May 29, 2019Updated 6 years ago
• google / idris-protobuf

  View on GitHub
  A partial implementation of Protocol Buffers in Idris
  ☆32Aug 12, 2017Updated 8 years ago
• pcapriotti / agda-categories

  View on GitHub
  Category theory and algebra
  ☆27Aug 4, 2016Updated 9 years ago
• effectfully / STLC

  View on GitHub
  Dependently typed Algorithm M and friends
  ☆26Jun 2, 2018Updated 7 years ago
• proofchains / python-proofmarshal

  View on GitHub
  ☆26Nov 14, 2017Updated 8 years ago
• Dakuan / connect-chaos

  View on GitHub
  connect middleware that causes chaos
  ☆26Feb 26, 2015Updated 10 years ago
• vmchale / recursion_schemes

  View on GitHub
  Recursion schemes for Idris
  ☆64Aug 23, 2018Updated 7 years ago
• SplittyDev / rust-talks

  View on GitHub
  Community maintained list of Rust talks.
  ☆29Nov 27, 2016Updated 9 years ago
• dai-shi / connect-prerenderer

  View on GitHub
  Express/connect middleware to pre-render ajax page for non-ajax browsers, especially using angular.js
  ☆161Aug 18, 2018Updated 7 years ago
• mattbierner / khepri

  View on GitHub
  ECMAScript derived programming language
  ☆68May 16, 2015Updated 10 years ago
• mcasimir / generator-mobileangularui

  View on GitHub
  Mobile Angular Ui Yeoman Generator
  ☆29Jan 25, 2016Updated 10 years ago
• hamiltop / rethinkdb_ecto

  View on GitHub
  Shim library for using Ecto with RethinkDB. Not a full adapter.
  ☆24May 13, 2016Updated 9 years ago
• amiller / redblackmerkle

  View on GitHub
  An authenticated data structure based on a red-black tree.
  ☆54Jul 27, 2015Updated 10 years ago