StepULC Alternatives

Similar projects and alternatives to StepULC based on common topics and language

• elaboration-zoo

  23 561 5.3 Haskell StepULC VS elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

• ltext

  0 36 7.2 Haskell StepULC VS ltext

  λtext - higher-order file applicator

  

• 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.

  

• StepULC

  1 0 0.0 Haskell StepULC VS StepULC

  Efficient and single-steppable ULC evaluation algorithm (by AndrasKovacs)

• mikrokosmos

  0 68 0.0 Haskell StepULC VS mikrokosmos

  (λ) Educational lambda calculus interpreter

• write-you-a-haskell

  4 3,304 0.0 Haskell StepULC VS write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

• elsa

  0 180 2.9 Haskell StepULC VS elsa

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

  

• lambda-calculator

  0 88 3.8 Haskell StepULC VS lambda-calculator

  An introduction to the Lambda Calculus

• 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.