Blabr - Scientific Computing for the Web
☆20Dec 15, 2016Updated 9 years ago
Alternatives and similar repositories for blab
Users that are interested in blab are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Shape Grammar Editor Written In Pharo☆11Feb 19, 2018Updated 8 years ago
- Inkscape plugins related to bobbin lace — grids and prikcings☆19Nov 26, 2025Updated 3 months ago
- Wrap/lock different kinds of Ethereum tokens in other tokens☆16Feb 16, 2026Updated last month
- ☆13Mar 16, 2023Updated 3 years ago
- Sammyjs.org☆19Jul 27, 2015Updated 10 years ago
- Simple automated bot for executing trades on supported DEXs that allow swaps between supported Algo/ASA trading pairs.☆11Apr 9, 2022Updated 3 years ago
- ☆10Feb 7, 2022Updated 4 years ago
- Documentation for Eve☆19Apr 12, 2023Updated 2 years ago
- a reusable django app for raster maps georeferencing☆16Dec 8, 2022Updated 3 years ago
- Everything you need to create your first account abstraction contract in one place☆29Sep 17, 2020Updated 5 years ago
- The Mickey Mouse of dynamic linkers☆16Nov 15, 2025Updated 4 months ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Synchronize Erlang/OTP releases to remote nodes☆26May 15, 2014Updated 11 years ago
- Sweep your wallet of ETH, erc20 & erc721 tokens.☆31Nov 27, 2022Updated 3 years ago
- Forward messages to collaborators in East-oriented style.☆14Oct 18, 2025Updated 5 months ago
- Ruby virtual DOM for HTML☆56Oct 12, 2018Updated 7 years ago
- C++ template edition of the (standard) kalman filter☆10Aug 26, 2012Updated 13 years ago
- transparent proxy to cccccros the GFW, cooperate with iptables; also see redsocks: https://github.com/darkk/redsocks☆10Jun 5, 2017Updated 8 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Working area for papers☆22Oct 29, 2024Updated last year
- OCaml bindings to the Spotify web API☆17Oct 24, 2020Updated 5 years ago
- ViewSHED is an open-source API for computing the visible area given a location and elevation.☆21Nov 8, 2021Updated 4 years ago
- Cross-platform tool to put Python's user bin in PATH, no sudo/runas required!☆21Apr 14, 2019Updated 6 years ago
- Linet accounting application☆16Oct 6, 2017Updated 8 years ago
- First-order automated theorem prover based on the tableau method☆18Jan 3, 2026Updated 2 months ago
- With layoutline.js find out what kind of keyboard layout your user has just by swiping the keyboard characters in lines.☆15Aug 6, 2018Updated 7 years ago
- Docker image to install ib-controller AUR package☆12Dec 19, 2016Updated 9 years ago
- ProxMate for chrome☆12Oct 21, 2019Updated 6 years ago
- A self-hosting subset of git functionality in 500 lines☆13Aug 27, 2018Updated 7 years ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 2 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- Creates secured box for accessing internal networks☆14Apr 5, 2019Updated 6 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- Traffic Analysis in Original Video Data of Ayalon Road☆26Jan 9, 2020Updated 6 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- Open Pension is a "Hasadna" project, that aimed to revealing the secrets behind the Israeli pension market.☆17Oct 24, 2024Updated last year
- experimental port of nervana neon kernels in OpenCL☆11Jul 24, 2016Updated 9 years ago