Mikrokosmos Alternatives

Similar projects and alternatives to mikrokosmos

• language-ecmascript

  0 46 4.5 Haskell mikrokosmos VS language-ecmascript

  Haskell library: ECMAScript parser, pretty-printer and additional tools

  

• rail-compiler-editor

  0 3 0.0 Haskell mikrokosmos VS rail-compiler-editor

  Rail compiler written in Haskell

  

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• elsa

  0 180 2.9 Haskell mikrokosmos VS elsa

  Elsa is a lambda calculus evaluator (by ucsd-progsys)

  

• fp

  4 102 1.9 Haskell mikrokosmos VS fp

  A small, weird and unpractical programming language. (by japiirainen)

• ltext

  0 36 7.2 Haskell mikrokosmos VS ltext

  λtext - higher-order file applicator

  

• winter

  1 46 2.8 Haskell mikrokosmos VS winter

  Haskell port of the WebAssembly OCaml reference interpreter (by dfinity-side-projects)

  

• salt

  1 63 0.0 Haskell mikrokosmos VS salt

  The compilation target that functional programmers always wanted. (by discus-lang)

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• hruby

  0 23 4.5 Haskell mikrokosmos VS hruby

  Embed Ruby in your Haskell program.

• liquid-fixpoint

  0 128 8.9 Haskell mikrokosmos VS liquid-fixpoint

  Horn Clause Constraint Solving for Liquid Types

  

• sloe

  1 3 1.8 Haskell mikrokosmos VS sloe

  Simple purely functional language based on lambda-calculus.