lnsp / tmath

Related projects ⓘ

Alternatives and complementary repositories for tmath

• japesinator / tarts
  Timing attack resistant type systems
  ☆24Updated 9 years ago
• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 11 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 9 years ago
• iatorm / grime
  A language for matching two-dimensional patterns, based on Boolean grammars.
  ☆13Updated 6 years ago
• ef-gy / topologic
  Visualiser for basic geometric primitives and fractals in arbitrary-dimensional spaces
  ☆40Updated 7 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆34Updated 10 years ago
• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated 11 months ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 6 years ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 2 years ago
• passagemath / LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆28Updated 5 years ago
• ndrwhr / entropy
  Partial JavaScript implementation of the the entropy eso-lang
  ☆63Updated 10 years ago
• pynac / pynac
  Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
  ☆27Updated 3 years ago
• haskell / xhtml
  XHTML combinator library
  ☆9Updated 4 months ago
• wbhart / ccas
  A simple CAS written in C.
  ☆10Updated 9 years ago
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 8 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 7 years ago
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 8 years ago
• weshoke / ddg.js
  Discrete Differential Geometry in Javascript
  ☆18Updated 10 years ago
• PeterTonoli / awesome-pledge
  A collaborative curated list of amazingly awesome OpenBSD pledge(2) resources and other awesome things.
  ☆23Updated last year
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 9 years ago
• basvandijk / levmar
  An implementation of the Levenberg-Marquardt algorithm
  ☆16Updated 5 years ago
• GaloisInc / lean-haskell-bindings
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆21Updated 7 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• sylvia43 / 3D-Graphics-From-Scratch
  3D graphics from scratch
  ☆22Updated 8 years ago