Smalltt Alternatives

Similar projects and alternatives to smalltt

• Idris2

  2 1,954 9.7 Idris smalltt VS Idris2

  A purely functional programming language with first class types

  

• brainfuck-web-app

  2 123 0.8 Brainfuck smalltt VS brainfuck-web-app

  a web app written in Brainfuck that returns your user-agent to you

• SonarQube

  www.sonarqube.org

  sponsored

  Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  

• FormCoreJS

  2 64 0.0 JavaScript smalltt VS FormCoreJS

  A minimal pure functional language based on self dependent types.

  

• Kind2

  1 2,748 9.5 Rust smalltt VS Kind2

  A next-gen functional language [Moved to: https://github.com/Kindelia/Kind]

  

• z3

  1 8,396 9.9 C++ smalltt VS z3

  The Z3 Theorem Prover

  

• HVM

  1 5,638 9.3 Rust smalltt VS HVM

  A massively parallel, optimal functional runtime in Rust

  

• sixty

  1 212 0.0 Haskell smalltt VS sixty

  Dependent type checker using normalisation by evaluation

• InfluxDB

  www.influxdata.com

  sponsored

  Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

  

• idris-sandbox

  1 7 10.0 Idris smalltt VS idris-sandbox

  Idris Sandbox

• recombine

  1 - - smalltt VS recombine