FormCoreJS

A minimal pure functional language based on self dependent types. (by HigherOrderCO)

FormCoreJS Alternatives

Similar projects and alternatives to FormCoreJS

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better FormCoreJS alternative or higher similarity.

FormCoreJS reviews and mentions

Posts with mentions or reviews of FormCoreJS. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-09-14.
  • FormCoreJS
    1 project | news.ycombinator.com | 19 Nov 2022
  • The Little Prover
    8 projects | news.ycombinator.com | 14 Sep 2022
    >The core implementation is under 700 lines of JS, including the parser: https://github.com/moonad/FormCoreJS/blob/master/FormCore.js

    Unfortunately, the source code size isn't the main problem with provers. The UX is much more important one.

  • Kind-Lang: contributions are welcome!
    2 projects | /r/ProgrammingLanguages | 10 Aug 2021
    Kind is a functional, general-purpose programming language featuring theorems and proofs. It has the smallest core, a pretty solid JavaScript and Scheme compiler (seriously, check how clean is the generated kind.js), and a syntax that is a middle ground between Haskell and TypeScript, in an attempt to make it more accessible.
    3 projects | /r/haskell | 10 Aug 2021
    Hello! Kind is a functional programming language based on self types that has the smallest core, pretty solid JavaScript and Scheme compilers (seriously, check how clean is the generated kind.js is), and a syntax that is a middle ground between Haskell and TypeScript, in an attempt to make it more accessible. In short, it is a general-purpose, practical functional featuring featuring theorems and proofs. Kind still has a lot to evolve, but, at this point in time, it is one of the most mature proof languages in some aspects. We do research related to optimal evaluators, we explore self types, we build web apps (most are in development, but the performance is stellar), and we're close to have great inter-op with Haskell (one file away), EVM compilers (a linearity-checker away). All in all, I believe Kind is a great addition to the functional programming community. We are a small, mostly self-funded team.
  • FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScript
    1 project | news.ycombinator.com | 10 Jan 2021
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 25 Apr 2024
    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. Learn more →

Stats

Basic FormCoreJS repo stats
6
69
0.0
almost 2 years ago

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.
workos.com