Alternatives and similar repositories for skin

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

• yjaradin / mozart2
  ☆12Updated 10 years ago
• fm-polimi / zot
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Updated 5 years ago
• g-ar / jsim
  simulations in J
  ☆13Updated 8 years ago
• fu-dietersheim / Blockchain
  A verified permissioned centralized Blockchain for Isabelle/HOL
  ☆11Updated 7 years ago
• bakerjd99 / jod
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Updated 9 months ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 3 years ago
• lbajolet / PEP8-examples
  Pep8 example codes for UQAM-INF2170
  ☆12Updated 3 years ago
• Gnuplotting / blog-entries
  gnuplot code for the single blog entries
  ☆13Updated 8 years ago
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 9 years ago
• shingarov / MachineArithmetic
  A mathematical foundation for Smalltalk-25
  ☆19Updated 3 weeks ago
• ljun20160606 / blog
  Share
  ☆13Updated 7 years ago
• juliensf / mercury-csv
  A Mercury CSV library.
  ☆13Updated last week
• StevenCostiou / reflectivipy
  ☆11Updated 6 years ago
• adolfopa / microkanren-pharo
  An implementation of µKanren for Pharo
  ☆12Updated 10 years ago
• cormas / cormas
  CORMAS (COmmon pool Ressources and Multi-Agent Simulations)
  ☆32Updated this week
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• robtweed / EWD
  Free Open Source version of EWD for GT.M
  ☆29Updated 3 years ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 11 years ago
• parrot / lisp
  A Common Lisp compiler for the Parrot Virtual Machine
  ☆26Updated 15 years ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆28Updated this week
• irr / newlisp-labs
  newLISP programming...
  ☆10Updated 10 years ago
• pharo-ai / wiki
  The Pharo-AI Wiki
  ☆17Updated last month
• NetLogo / Galapagos
  NetLogo model simulation visualizer (Beak) and the netlogoweb.org website 🐢
  ☆63Updated last week
• tangentstorm / syndir
  a syntax directed editor
  ☆17Updated last year
• MLstate / birdy
  Micro-blogging engine
  ☆58Updated 12 years ago
• jgfoster / PharoGs
  PharoGs is an open-source project to host Pharo Smalltalk in GemStone.
  ☆10Updated last year
• jmari / iPharo
  Pharo Smaltalk kernel for Jupyter
  ☆37Updated 3 years ago
• tsloughter / OpaDo
  Opa port of the TodoMVC app
  ☆24Updated 13 years ago
• stpope / Siren9
  The Siren Music/Sound framework for Smalltalk
  ☆21Updated 3 years ago
• 8l / pilos
  PilOS - A Stand-Alone Operating System
  ☆14Updated 8 years ago