There are no reviews yet. Be the first to send feedback to the community and the maintainers!
sequent
Proof checker for sequent calculus proofspurescript-proofs
(Ab)using PureScript's type system for simple proofs verificationpurescript-wai
WAI - Web Application Interfacesucks-rocks
a web application for gathering feedback on small snippets of codepurescript-complex
Simple library for working with complex numbers in PureScriptbash.js
hybrid bash-like/js runnerardnassac
Ardnassac let's you search your past. It's a proof of concept, trying to reproduce the amazing product developed at rewind.ai with open source tools.SafariCmdShiftP
pdfsnippet
seminar_enkf_analysis
Seminar: Analysis EnKF for inverse problems - Code and handoutpurescript-raytracer
A simple raytracer in PureScript -- it's slowpyfrechet
pyfrรฉchet is a Python module designed for the manipulation and analysis of data in metric spaces. It provides useful classes and methods for those looking to analyze non-standard data or develop new algorithms.db-jit
JIT compiler for simple expression language on db-columnssmc
Bachelor's thesis - Sequential Monte Carlo for time-dependent Bayesian Inverse ProblemsLove Open Source and this site? Check out how you can help us