This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary computations over encrypted data.
☆11Feb 25, 2026Updated 2 weeks ago
Alternatives and similar repositories for spf
Users that are interested in spf are comparing it to the libraries listed below
Sorting:
- Solidity Library for parsing and verifying TLS-N proofs.☆17Aug 11, 2017Updated 8 years ago
- Code samples inspiring language design☆23Feb 24, 2016Updated 10 years ago
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- Idris to Serpent back end for Ethereum smart contracts☆31Sep 14, 2017Updated 8 years ago
- ☆17Aug 11, 2025Updated 7 months ago
- RC-455, a WebAudio synthesizer☆39Nov 21, 2016Updated 9 years ago
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year
- Direct transcription of an optimal control problem and resolution☆12Updated this week
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- ☆12Dec 19, 2023Updated 2 years ago
- ☆16Sep 7, 2025Updated 6 months ago
- EmotionCircuits-LLM: A complete, reproducible framework for discovering and controlling emotion circuits in large language models.☆26Oct 20, 2025Updated 4 months ago
- ☆25Feb 18, 2026Updated 3 weeks ago
- ☆52Jul 18, 2024Updated last year
- MUD + Unity tutorial☆10Jul 24, 2023Updated 2 years ago
- A browser-based MIDI sequencer.☆12Aug 29, 2015Updated 10 years ago
- ☆14Dec 12, 2023Updated 2 years ago
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆11May 13, 2025Updated 10 months ago
- ☆12Mar 22, 2025Updated 11 months ago
- ☆11Apr 24, 2023Updated 2 years ago
- ☆15Jun 30, 2025Updated 8 months ago
- Analyzes whole genome sequencing data for gene-editing verification☆10Feb 6, 2026Updated last month
- Experiments with reasoning models, training techniques, papers☆25Updated this week
- ☆12Aug 15, 2024Updated last year
- Suite of tools for game developers building on MUD☆12Mar 13, 2024Updated 2 years ago
- Manual Baseline Models☆10Nov 7, 2024Updated last year
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- ☆12Oct 4, 2024Updated last year
- ☆13Apr 7, 2024Updated last year
- A package to set up, run, and store simulation campaigns in PhysiCell.☆15Feb 20, 2026Updated 3 weeks ago
- ☆17Jan 29, 2026Updated last month
- ☆11Jun 6, 2024Updated last year
- Find bottlenecks in your test suites☆17Mar 9, 2026Updated last week
- Transform messy HTML from Google Docs into well-structured HTML!☆14Jul 10, 2025Updated 8 months ago
- A from-scratch multi-difficulty-level tutorial on how pytorch, tensor flow, Jax, etc work☆13Feb 19, 2025Updated last year
- ☆10Nov 6, 2024Updated last year
- Synchronization primitives for both web and native.☆16Jan 19, 2024Updated 2 years ago
- Adds Blockstack support to the Browser.☆13Jan 9, 2023Updated 3 years ago
- Reproducible hardened Linux images for confidential computing and safe MEV☆17Updated this week