Alternatives and similar repositories for Material_DES

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

• malonnnn / ServerConfig
  ☆10Updated 7 years ago
• ljun20160606 / blog
  Share
  ☆13Updated 7 years ago
• lbajolet / PEP8-examples
  Pep8 example codes for UQAM-INF2170
  ☆12Updated 3 years ago
• InnovationNetworks / skin
  Simulating Knowledge Dynamics in Innovation Networks
  ☆15Updated 2 years ago
• yjaradin / mozart2
  ☆12Updated 10 years ago
• UCMAndesLab / CSE160-Project-Skeleton-Code
  ☆16Updated 7 years ago
• partcl / partcl
  Tcl on parrot
  ☆20Updated 13 years ago
• fu-dietersheim / Blockchain
  A verified permissioned centralized Blockchain for Isabelle/HOL
  ☆11Updated 7 years ago
• metamorph-inc / metamorphosys-desktop
  ☆12Updated 10 years ago
• nobuyukinyuu / SimpleUI
  a basic, portable UI library for Monkey.
  ☆11Updated 8 years ago
• devolonter / flixel-monkey
  This is a port of flixel to the Monkey language
  ☆34Updated 9 years ago
• Microalg / microalg
  Langage et environnements dédiés à l’algorithmique.
  ☆13Updated 5 years ago
• joshuaballoch / talent-vs-luck-recreated
  ☆10Updated 7 years ago
• stewy33 / merchant
  A package manager for the Mercury logic programming language.
  ☆18Updated 5 years ago
• juliensf / mercury-csv
  A Mercury CSV library.
  ☆13Updated 2 weeks ago
• vvdleun / audiostreamerscrobbler
  Scrobbles or sends meta-data of streamed music on Bluesound/BluOS, Yamaha MusicCast and/or Denon HEOS players to Last FM, ListenBrainz, L…
  ☆15Updated 5 years ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 7 years ago
• g-ar / jsim
  simulations in J
  ☆13Updated 8 years ago
• shabiel / M-Web-Server
  A YottaDB and Caché compatible HTTP server
  ☆29Updated 3 years ago
• bakerjd99 / jod
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Updated 7 months ago
• hosuaby / jq-voronoi
  Implementation of Voronoi with jq
  ☆11Updated 4 years ago
• Gnuplotting / blog-entries
  gnuplot code for the single blog entries
  ☆13Updated 8 years ago
• MLstate / birdy
  Micro-blogging engine
  ☆58Updated 12 years ago
• quag / io-json
  A simple json pack/unpack for Io
  ☆20Updated 16 years ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 11 years ago
• echronos / echronos-proofs
  Isabelle/HOL proofs about the eChronos RTOS
  ☆11Updated 8 years ago
• fm-polimi / zot
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Updated 4 years ago
• wyc / snippets
  ☆52Updated 8 years ago
• vangberg / iodis
  a redis client library for io
  ☆22Updated 15 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 3 years ago