Alternatives and similar repositories for Stellarator

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

• gergoerdi / clash-spaceinvaders
  Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
  ☆48Updated 2 years ago
• oinoom / Core
  compile your own functional language
  ☆36Updated 6 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• conal / convolution-paper
  Generalized Convolution and Efficient Language Recognition
  ☆17Updated 6 years ago
• schell / ixshader
  A shallow embedding of the OpenGL Shading Language in Haskell
  ☆15Updated 7 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• aherrmann / simply_llvm
  ☆41Updated 8 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 5 years ago
• lambdacube3d / emulator-stunts
  Stunts 4D Driving with 8086 CPU and DOS emulation in Haskell
  ☆32Updated 6 years ago
• kcsongor / register-machine-type
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Updated 9 years ago
• csabahruska / demoscene
  Demoscene: Lambda Team
  ☆20Updated 6 years ago
• lambda-fairy / sylvia
  Logic puzzle game based on the lambda calculus
  ☆20Updated 12 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 6 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 7 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 10 years ago
• Helium4Haskell / helium
  The Helium compiler, Helium-as-a-library, and the texthint interpreter
  ☆99Updated 10 months ago
• mietek / et-lang
  ET (IPL) language interpreters and literature
  ☆26Updated 6 years ago
• blitzcode / neskell
  A Haskell 6502 Emulator
  ☆69Updated 9 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 7 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• ku-fpg / data-reify
  Reification of data structures using observable sharing
  ☆29Updated 11 months ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 6 years ago
• ekmett / codebruijn
  experiments with pext/pdep and codebruijn syntax
  ☆17Updated 5 years ago
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated last year
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• haskell-perf / graphs
  ☆41Updated 5 years ago
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆64Updated 3 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 8 years ago
• jyp / prettiest
  The Prettiest Printer
  ☆35Updated last year
• csgordon / cayenne
  Resurrecting Lennart Augustsson's implementation of Cayenne
  ☆37Updated 12 years ago