Write-you-a-haskell Alternatives

Similar projects and alternatives to write-you-a-haskell

• go

  2,067 119,564 10.0 Go write-you-a-haskell VS go

  The Go programming language

  

• distributive

  6 41 2.7 Haskell write-you-a-haskell VS distributive

  Dual Traversable

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

  

• algebra-driven-design

  11 129 4.3 Haskell write-you-a-haskell VS algebra-driven-design

  Source material for Algebra-Driven Design

• type-level-bst

  0 3 0.0 Haskell write-you-a-haskell VS type-level-bst

  Type-Level Binary Search Tree in Haskell

• example

  7 2,455 6.7 Go write-you-a-haskell VS example

  Go example projects

  

• articles

  11 1,238 4.2 Haskell write-you-a-haskell VS articles

  Miscellaneous articles. The readme is the table of contents. (by quchen)

• type-eq

  0 5 0.0 Haskell write-you-a-haskell VS type-eq

  Type equality evidence you can carry around

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

  

• TreadMarks

  1 62 10.0 C++ write-you-a-haskell VS TreadMarks

  Battle tank combat racing!

  

• brainfuck

  0 6 5.2 Haskell write-you-a-haskell VS brainfuck

  This is an interpreter of the brainf*ck language, written in the pure, lazy, functional language Haskell. (by abbradar)

• pattern-matching-in-rust

  4 189 5.0 Rust write-you-a-haskell VS pattern-matching-in-rust

  Pattern matching and exhaustiveness checking algorithms implemented in Rust

• constraints

  3 70 5.4 Haskell write-you-a-haskell VS constraints

  Tools for programming with ConstraintKinds in GHC

• hatsugen

  3 5 2.1 Lean write-you-a-haskell VS hatsugen

  A small programming language formally defined with a series of blog posts and Lean code.

• sense-lang

  2 5 5.2 Haskell write-you-a-haskell VS sense-lang

  Sense is a very high level, functional programming language for creating software by writing only the absolute necessary information and not a single line above that.

• Algorithm-W-Step-By-Step

  2 239 10.0 Haskell write-you-a-haskell VS Algorithm-W-Step-By-Step

  Classic Algorithm W for type inference.

• meta-cedille

  1 54 7.5 Agda write-you-a-haskell VS meta-cedille

  Minimalistic dependent type theory with syntactic metaprogramming

• hm

  1 56 10.0 Go write-you-a-haskell VS hm

  a simple Hindley-Milner type system in Go

• Amateurlog

  1 9 3.1 C# write-you-a-haskell VS Amateurlog

  A miniature Prolog interpreter + compiler so I can write about it

• fyg-lang

  1 1 6.5 Rust write-you-a-haskell VS fyg-lang

  Fyg is a simple high-level, functional-imperative with runtime type safety for the aspiring grug

• mappy

  0 12 0.0 Haskell write-you-a-haskell VS mappy

  A functional programming language. Like LISP but focused around maps rather than lists. (by PolyglotSymposium)

  

• SaaSHub

  www.saashub.com sponsored

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives