mjsottile / publicstuff

Related projects ⓘ

Alternatives and complementary repositories for publicstuff

• ga / haskell
  A geometric algebra implementation in Haskell
  ☆28Updated 4 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆95Updated 7 years ago
• mietek / et-lang
  ET (IPL) language interpreters and literature
  ☆26Updated 5 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 9 years ago
• patrikja / AFPcourse
  http://www.cse.chalmers.se/edu/course/afp/
  ☆17Updated 8 years ago
• waivio / cl3
  Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)
  ☆57Updated 2 years ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 8 years ago
• uhc / uhc
  Utrecht Haskell Compiler
  ☆42Updated 12 years ago
• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆72Updated 3 weeks ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 7 years ago
• mvr / cf
  "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
  ☆40Updated 9 years ago
• dsorokin / aivika
  A multi-method simulation library
  ☆79Updated 4 months ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 6 years ago
• pa-ba / McCarthy-Painter
  Coq proof for the paper "Compiling a Fifty Year Journey"
  ☆11Updated 7 years ago
• conal / talk-2015-haskell-to-hardware
  From Haskell to Hardware via CCCs
  ☆58Updated 8 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• HIPERFIT / accelerate-opencl
  ☆35Updated 12 years ago
• DougBurke / astro-haskell
  IHaskell notebooks showing how Haskell can be used in Astronomy.
  ☆22Updated 9 years ago
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆110Updated last year
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• jputcu / serialport
  Cross platform haskell library for using the serial port
  ☆43Updated 4 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 4 years ago
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆45Updated 3 years ago
• jonsterling / JonPRL
  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …
  ☆110Updated 5 years ago
• ajtulloch / haskell-ml
  Haskell implementations of various ML algorithms.
  ☆57Updated 10 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆34Updated last month
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 7 years ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆28Updated 3 weeks ago
• msp-strath / ZEUG
  being the beginnings of at least zero typecheckers
  ☆31Updated 7 years ago