F#-based interactive verifiable encyclopaedia

Hi everyone,

I’ve been working for a while on a personal project I like to think is something of a cross between Wikipedia and GitHub / BitBucket. It allows users to browse a database of arbitrary calculations / processes and then run them in the browser. Should they want to, they can also inspect the underlying (F#) calculation code to verify it functions as expected.

For users interested in creating new calculations / processes the website provides a web-based IDE for editing and compiling F# code.

The idea arose partially from using sites that allow you to do medical calculations for use in various clinical scenarios. The problem I found though was these websites were a black box and it was impossible to verify they were using the correct algorithms / guidelines.

Anyways, I’d really appreciate any feedback / criticisms / suggestions any of you might have. It’s very much in the testing / beta phase but hopefully there aren’t too many bugs.

Check it out, https://www.calcarta.com/Home/Search

Thanks!

Andrew

2 Likes