martinbaker

Pinned Repositories

Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell3.4k 120 2.3k644
caslEdit
An Eclipse editor for CASL
Language:Java10
euclideanspace
A Computer Algebra System
Language:Java9 4 03
fricas
Mirror of the official FriCAS svn repository http://sourceforge.net/p/fricas/code/HEAD/tree/
Language:Clojure1 2 00
fricas2aldor
converts SPAD code to Aldor
Language:AngelScript10
fricasAlgTop
Repository to facilitate discussion of improvements to algebraic topology code.
30
fricasScene
Fricas code for scenegraph
00
Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell00
multivector
Code to use with Axiom program
50
xtextadd
Some things I would like to see added to Xtext
Language:Java16 5 12

martinbaker's Repositories

martinbaker/xtextadd
Some things I would like to see added to Xtext
Language:Java16 5 12
martinbaker/euclideanspace
A Computer Algebra System
Language:Java9 4 03
martinbaker/multivector
Code to use with Axiom program
50
martinbaker/fricasAlgTop
Repository to facilitate discussion of improvements to algebraic topology code.
30
martinbaker/caslEdit
An Eclipse editor for CASL
Language:Java10
martinbaker/fricas
Mirror of the official FriCAS svn repository http://sourceforge.net/p/fricas/code/HEAD/tree/
Language:Clojure1 2 00
martinbaker/fricas2aldor
converts SPAD code to Aldor
Language:AngelScript10
martinbaker/fricasScene
Fricas code for scenegraph
00
martinbaker/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell00