Formality in itself
☆20Nov 30, 2020Updated 5 years ago
Alternatives and similar repositories for FormalityFM
Users that are interested in FormalityFM are comparing it to the libraries listed below
Sorting:
- A Peer-to-Peer Operating System☆37Mar 17, 2019Updated 6 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- Moonad: a Peer-to-Peer Operating System☆101Dec 7, 2019Updated 6 years ago
- The Yatima Standard Library☆20Dec 13, 2023Updated 2 years ago
- Yes, it is what you think it is☆33Jan 20, 2016Updated 10 years ago
- Specification of the Formality proof and programming language☆42Feb 5, 2023Updated 3 years ago
- `COEP: x-bikeshed-credentialless-unless-cors`☆29Jun 13, 2022Updated 3 years ago
- Moonad: a p2p academic journal, or a social network for code?☆27Jan 6, 2023Updated 3 years ago
- Structured UI Programming with ES6 Generators☆26Nov 22, 2023Updated 2 years ago
- A minimal proof checker.☆79Sep 9, 2024Updated last year
- Code for reproducing the results from "CrAM: A Compression-Aware Minimizer" accepted at ICLR 2023☆10Mar 1, 2023Updated 2 years ago
- Monorepo for @microfront - a solution for a microfrontend architecture☆11Jan 3, 2023Updated 3 years ago
- Formalizr, Google Chrome extension - "Remembers what you type, in case of a page crash."☆17Jul 4, 2024Updated last year
- Bydelsfakta is a frontend application for Oslo municipality which visualises demographic statistics and data on various topics for the 15…☆10Updated this week
- rddapp: Regression Discontinuity Design Application☆11Sep 2, 2025Updated 5 months ago
- Fast, free, easy, and object-agnostic video anonymization☆11Dec 12, 2020Updated 5 years ago
- A nonparametric variational information bottleneck (NVIB) layer in Pytorch☆11Apr 15, 2025Updated 10 months ago
- Bayesian adaptive stimulus placement of psychometric function for MATLAB.☆10Nov 7, 2018Updated 7 years ago
- Dependent type checker using normalisation by evaluation☆274Sep 5, 2024Updated last year
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- A database on top of a log with automatic index generation and maintenance☆50Sep 3, 2024Updated last year
- Simple JACK synth experiment☆13Aug 3, 2019Updated 6 years ago
- Generate v4 UUIDs using libsodium's RNG☆11Jun 16, 2020Updated 5 years ago
- A Python implementation of a graph-based parser for Abstract Meaning Representation (AMR)☆11Feb 2, 2018Updated 8 years ago
- Automatically create an importmap script.☆14Oct 20, 2024Updated last year
- Manage your project with the power of NPM☆10Dec 12, 2016Updated 9 years ago
- Incremental Consistent Topological Sort for Append-only Logs☆14Jun 28, 2022Updated 3 years ago
- 8 fast digital MEMS microphones input to a Beaglebone☆13Oct 12, 2021Updated 4 years ago
- Implementation of accurate coresets for known problems from the field of machine learning.☆11Nov 21, 2019Updated 6 years ago
- recreate entire git repository from a copy of .git contents☆11Aug 1, 2018Updated 7 years ago
- Linux File System Game☆12Oct 7, 2019Updated 6 years ago
- stateless model checking for thread libraries, kernels, and transactional memory☆10Dec 26, 2018Updated 7 years ago
- Vite 2 plugin to lint CSS with stylelint☆12Nov 22, 2021Updated 4 years ago
- A fork of criterion.rs to keep things updated.☆18Feb 15, 2026Updated last week
- An extended version of Scala's scaladoc command☆21Jul 2, 2011Updated 14 years ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- PCM audio sample rate conversion for Node.js☆15May 13, 2013Updated 12 years ago
- My NixOS configuration☆12Feb 20, 2026Updated last week
- FlowMatic: An Immersive Authoring Tool for Creating Interactive Scenes in Virtual Reality☆12Dec 1, 2023Updated 2 years ago