#

edsl

Here are 40 public repositories matching this topic...

weaveworks / grafanalib

Star

Python library for building Grafana dashboards

monitoring grafana edsl dashboards

Updated Dec 19, 2020
Python

ocurrent / ocurrent

Star

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

Updated Dec 18, 2020
OCaml

hammerlab / ketrew

Star

Keep Track of Experimental Workflows

ocaml edsl workflows

Updated Feb 5, 2018
OCaml

Kamirus / purescript-selda

Star

Open

Test suite refactor - extract common tests between backends

Kamirus commented Dec 17, 2019

Right now only the test suite with queries is shared, but recreating tables and common inserts, deletes and updates could be shared too.

Read more

good first issue

Open

SQLite3 statement functions with plain Aff monad

awto / mixfix-clj

Star

mixfix syntax for clojure

clojure parser-combinators edsl macros mixfix-syntax

Updated Oct 2, 2015
Clojure

ix / lazyboy

Star

An EDSL implemented in Haskell for programming the Nintendo Game Boy.

homebrew haskell games gaming gameboy dsl edsl game-boy videogames

Updated Jan 25, 2020
Haskell

hammerlab / genspio

Star

Generate Shell Phrases In OCaml

shell ocaml edsl posix

Updated Mar 15, 2020
OCaml

svenssonjoel / Obsidian

Star

Obsidian Language Repository

haskell gpu edsl haskell-library gpu-acceleration gpu-computing

Updated May 23, 2018
Haskell

YBogomolov / workshop-edsl-in-typescript

Star

Code template for workshop "Building eDSLs in functional TypeScript"

typescript workshop dsl edsl fp free-monad fp-ts tagless-final

Updated Aug 11, 2020
TypeScript

raaz-crypto / verse-coq

Star

VERified asSembler for cryptographic primitives

cryptography coq edsl

Updated Oct 19, 2020
Coq

Mesabloo / HaSM

Star

An assembly language EDSL for Haskell, compiling into opcodes

haskell edsl assembly-language

Updated Dec 17, 2019
Haskell

schell / px-lang

Sponsor Star

px is an experimental, typed lambda calculus for _

dsl graphics edsl stlc

Updated Mar 20, 2019
Haskell

DataKinds / sixty-five-oh-two

Star

A 65C02 Assembly eDSL in Haskell

haskell dsl assembly edsl 6502 65c02

Updated May 31, 2018
Haskell

forflo / shepi

Star

Tiny EDSL for shell pipes in lua

lua pipeline edsl

Updated Apr 9, 2017
Lua

forsyde / forsyde-shallow

Star

ForSyDe's Haskell-embedded Domain Specific Language

haskell simulation edsl cyber-physical-systems

Updated Mar 20, 2020
Haskell

valderman / haste-app

Star

Development version of Haste.App

language library web edsl distributed

Updated Sep 15, 2017
Haskell

p12nGH / pipelineDSL

Star

Haskell DSL for describing hardware pipelines

haskell hardware edsl verilog

Updated Apr 23, 2019
Haskell

serokell / fift-asm-dsl

Star

A Haskell eDSL for the TON VM Assembler

haskell smart-contracts memes edsl ton

Updated Oct 15, 2019
Haskell

ItsMeijers / Lambdabox

Star

Lambdabox provides a generic embedded domain specific language (EDSL) in Haskell for communication with multiple cryptocurrency exchanges.

haskell crypto trading blockchain trading-bot edsl cryptocurrency algotrading blackbox exchange-api cryptocurrency-exchanges binance

Updated Jun 30, 2018
Haskell

lvm / xoxo

Star

Embedded language for SuperCollider 💋

💋

💋

💋

💋

edsl supercollider livecoding supercollider-language-interpreter

Updated Oct 16, 2018
SuperCollider

jmtd / liquorice

Star

Haskell embedded domain-specific language (eDSL) for the algorithmic construction of maps for the computer game "Doom"

game haskell procedural-generation edsl fractal doom logo

Updated Oct 10, 2020
Haskell

pa-ba / Rattus

Star

A modal FRP language embedded in Haskell.

Updated Sep 30, 2020
Haskell

McMasterU / HashedExpression

Star

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

machine-learning haskell optimization edsl symbolic type-safety solvers symbolic-computation type-level-programming optimization-algorithms symbolic-differentiation lbfgs ipopt lbfgs-b

Updated Oct 27, 2020
Haskell

MonoidalAttackTrees / Lina

Star

A Haskell EDSL for conducting threat analysis using Attack Trees

edsl verification haskell-library attack-trees maude threat-analysis linear-logic lina

Updated Oct 22, 2018
Haskell

forsyde / forsyde-atom

Star

A shallow-embedded DSL for modeling cyber-physical systems

haskell edsl hybrid-systems cyber-physical-systems

Updated Aug 15, 2020
Haskell

avanov / graphql-dsl

Sponsor Star

Compose GraphQL queries by composing Python types!

python graphql dsl typing edsl query-builder type-hints

Updated May 25, 2020
Python

trskop / genbashrc

Star

Haskell EDSL for generating .bashrc files.

dotfiles bash haskell edsl

Updated Sep 1, 2020
Haskell

svenssonjoel / Obsidian-Run-CUDA

Star

Run Obsidian programs on a GPU from Haskell code.

haskell gpu edsl haskell-library gpu-acceleration gpu-computing

Updated Apr 24, 2017
Haskell

t4ccer / ardu-gen

Star

Embedded Arduino code generation DSL for Haskell.

haskell library dsl edsl haskell-library code-generation

Updated Aug 8, 2020
Haskell

trskop / hs-pkg-config

Star

Library for creating pkg-config configuration files from Haskell

haskell edsl pkg-config

Updated Sep 28, 2017
Haskell

Improve this page

Add a description, image, and links to the edsl topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the edsl topic, visit your repo's landing page and select "manage topics."

You can’t perform that action at this time.