stephenathel / gawxm

Related projects ⓘ

Alternatives and complementary repositories for gawxm

• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆17Updated 8 years ago
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• penguian / glucat
  GluCat: Clifford algebra templates
  ☆19Updated 3 months ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆43Updated 5 years ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆23Updated 4 years ago
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆34Updated 2 months ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 8 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆34Updated last year
• daly / PDFS
  ☆14Updated last year
• aldorlang / aldor
  The Aldor Programming Language
  ☆33Updated 4 months ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆15Updated 2 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 6 months ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆13Updated last week
• blambov / RealLib
  Library for exact real number computations
  ☆39Updated 9 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 7 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆35Updated 10 years ago
• standardml / parcom
  SML Parser Combinator Library
  ☆27Updated 8 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• bennn / mechanics
  (in progress) Racket port of the SICM scmutils library
  ☆33Updated 4 years ago
• dprodanov / clifford
  Clifford algebra for CAS Maxima
  ☆16Updated last year
• ashinkarov / cnn-in-apl
  CNN in APL
  ☆21Updated 2 years ago
• annser / annser
  ANNSER is A Neural Network Simulator for Education and Research.
  ☆9Updated 8 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆22Updated 2 weeks ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• Dyalog / dyalog-jupyter-kernel
  A Jupyter kernel for Dyalog APL
  ☆69Updated 11 months ago
• ThePoetCoder / APL-to-NumPy
  Converting APL Primitives to NumPy Expressions
  ☆25Updated 9 months ago