The Little Prover

• FormCoreJS

  6 69 0.0 JavaScript

  A minimal pure functional language based on self dependent types.

  

Another very small proof system: https://github.com/moonad/formcorejs

The core implementation is under 700 lines of JS, including the parser: https://github.com/moonad/FormCoreJS/blob/master/FormCore.js

The author has since moved on to building a runtime with optimal evaluation (https://github.com/kindelia/hvm) and a new proof language on top of that (https://github.com/Kindelia/Kind2) with considerably better performance than existing proof systems.

• brainfuck-web-app

  4 147 0.0 Brainfuck

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

> Javascripts can be different, there is no guarantee that some half supported engine will run that specific code.

Half supported? Where is your source? Java Nashhorn was passing all ECMAScript 5.1 tests in 2012 (https://twitter.com/asz/status/258995374847565825)

> Same as brainfuck: https://github.com/EvanHahn/brainfuck-web-app

Brainfuck? JavaScript is most popular programming language (https://www.stackscale.com/blog/most-popular-programming-lan...) You're comparing apples to oranges. By the way I mostly work in Java, but I do not look down on JavaScript, it's shows ignorance.

As others have already said, person who wrote the library may not be familiar with your favorite language, moreover certain things are easier to do in some languages. This is not the attitude that we should be showing when receiving free work from someone. If you don't want to port it to your favorite language when needed that's ok, I'm just glad that it exists.

• SurveyJS

  surveyjs.io sponsored

  Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.

  

• HVM

  107 7,101 6.7 Rust

  A massively parallel, optimal functional runtime in Rust

  

Another very small proof system: https://github.com/moonad/formcorejs

The core implementation is under 700 lines of JS, including the parser: https://github.com/moonad/FormCoreJS/blob/master/FormCore.js

The author has since moved on to building a runtime with optimal evaluation (https://github.com/kindelia/hvm) and a new proof language on top of that (https://github.com/Kindelia/Kind2) with considerably better performance than existing proof systems.

• Kind2

  5 2,748 9.5 Rust

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

  

Another very small proof system: https://github.com/moonad/formcorejs

The core implementation is under 700 lines of JS, including the parser: https://github.com/moonad/FormCoreJS/blob/master/FormCore.js

The author has since moved on to building a runtime with optimal evaluation (https://github.com/kindelia/hvm) and a new proof language on top of that (https://github.com/Kindelia/Kind2) with considerably better performance than existing proof systems.

• smalltt

  4 494 3.1 Lean

  Demo for high-performance type theory elaboration

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.

• z3

  28 9,708 9.8 C++

  The Z3 Theorem Prover

  

> And you propose me instead to go and reverse engineer library Js code which I am not that proficient in, and rewrite all code in Java instead?..

Yes, rather than demand others cater to your whims, frankly.

Do you realise how hypocritical it sounds to complain that you are not proficient in Javascript, when others might not be proficient in ?

Go use Z3 if you need a prover in C++ (or Java), its far more robust (provided its the type you're after) than someones 700 LoC JavaScript implementation.

https://github.com/Z3Prover/z3

Suggest a related project