The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Smalltt Alternatives
Similar projects and alternatives to smalltt
-
-
FormCoreJS
A minimal pure functional language based on self dependent types.
-
InfluxDB
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.
-
Kind2
Discontinued A next-gen functional language [Moved to: https://github.com/Kindelia/Kind]
-
brainfuck-web-app
a web app written in Brainfuck that returns your user-agent to you
-
-
-
WorkOS
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.
-
-
smalltt reviews and mentions
-
The Little Prover
The hype of Blockchain is an astounding thing, and the cascading hype for systems merely because they are based off people in the Blockchain space is equally as befuddling.
Try https://github.com/AndrasKovacs/smalltt if you want a system that considers the things modern systems care about: elaboration and unification.
-
Idris 2: Quantitative Type Theory in Practice
I'm curious if you have any insight into what a realistic lower limit to Idris compile time speed looks like. Right now even moderately sized Idris programs can be quite slow to compile, slower than even other dependently-typed languages (see e.g. https://github.com/AndrasKovacs/smalltt). How much of this is intrinsic to Idris' language design and how much of it is due to lack of optimization in the implementation?
- GitHub - AndrasKovacs/smalltt: Demo for high-performance type theory elaboration
-
Fixing Term Blowup
https://github.com/AndrasKovacs/smalltt (there's a presentation here too, link in README)
-
A note from our sponsor - WorkOS
workos.com | 28 Mar 2024
Stats
AndrasKovacs/smalltt is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of smalltt is Lean.