emeinhardt

emeinhardt's Stars

• ollef/sixten

  Functional programming with fewer indirections

  Language:Haskell754498526

• ollef/sixty

  Dependent type checker using normalisation by evaluation

  Language:Haskell2392357

• ollef/rock

  Build system

  Language:Haskell115757

• ndmitchell/spaceleak

  Notes on space leaks

  Language:Haskell1011042

• tweag/opam-nix

  Turn opam-based OCaml projects into Nix derivations

  Language:Nix100184924

• nix-ocaml/nix-overlays

  OCaml-focused, custom nix-overlays

  Language:Nix9531622

• ocramz/sparse-linear-algebra

  Numerical computation in native Haskell

  Language:Haskell8896610

• vmchale/jacinda

  Functional, expression-oriented data processing language

  Language:Haskell78325

• HackerFoo/peg

  A lazy non-deterministic concatenative programming language

  Language:Haskell54603

• ceedubs/unison-nix

  Nix support for the Unison programming language

  Language:Nix50648

• bgamari/dhall-gitlab-ci

  A Dhall encoding of the GitLab CI configuration schema

  Language:Dhall466719

• McMasterU/HashedExpression

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

  Language:Haskell421163

• kudu-dynamics/blaze

  A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

  Language:Haskell40903

• ocramz/heidi

  heidi : tidy data in Haskell

  Language:Haskell275203

• neurallambda/automata

  generate synthetic data for training finite state machines/pushdown automata/turing machines

  Language:Haskell160

• masaeedu/monoidal

  Language:Haskell10

• cicada-lang/inet

  Language:Assembly8200

• alex404/goal

  The Geometric OptimizAtion Libraries

  Language:Haskell7111

• emilypi/higher-functors

  Higher-order Functors

  Language:Haskell7

• masaeedu/filterable

  A simple account of "filterability" using category theory

  Language:Haskell7

• emilaxelsson/operational-alacarte

  A version of Operational suitable for EDSLs extensible via data types à la carte

  Language:Haskell5211

• hgoldstein95/free-generators

  Language:Haskell5103

• ltbinsbe/fungll-combinators

  Purely functional GLL parser combinators for Haskell

  Language:Haskell52

• jaschdoc/flix-parsers

  A simple parser combinator library for Flix

  41162

• antitypical/fused-syntax

  Fast, flexible, fused syntax operations for Haskell

  Language:Haskell3402

• tonyday567/huihua

  A Haskell port of uiua

  Language:Haskell330

• UnaryPlus/lambda

  Interpreters for lambda calculus, calculus of constructions, and other languages

  Language:Haskell3

• stephentetley/graded-lib

  Experimental Flix library for graded functors, applicatives and monads.

  2420

• stephentetley/flix-parsec

  Parser combinator library for Flix targeting text input.

  Language:Haskell1401

• taliesinb/hugo-math

  Fork of hugo-book, specializing in math

  Language:JavaScript1