embedded-dsls

There are 0 repository under embedded-dsls topic.

• jmid / lcheck

  A library for quickchecking lattice modules and associated operations

  quickcheckproperty-based-testingocamllatticemonotonicityembedded-dsls
  Language:OCaml 5

• jeffmay / vapors

  Construct expressions over fact types, then turn those expressions into a result given a set of source facts.

  algebraic-data-typescatsembedded-dslsexpression-algebrafunctional-programming
  Language:Scala 3

• Chatanga / GPipe-Core

  Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library

  haskellopenglembedded-dsls
  Language:Haskell 1

• Chatanga / Hadron

  Playing with GPipe 2...

  haskellopenglembedded-dslsgpipe
  Language:Haskell 0