This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary computations over encrypted data.
☆11Jan 5, 2026Updated last month
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 6 months ago
- RC-455, a WebAudio synthesizer☆39Nov 21, 2016Updated 9 years ago
- ☆37Updated this week
- ☆15Sep 7, 2025Updated 5 months ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- EmotionCircuits-LLM: A complete, reproducible framework for discovering and controlling emotion circuits in large language models.☆25Oct 20, 2025Updated 4 months ago
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year
- Direct transcription of an optimal control problem and resolution☆12Feb 17, 2026Updated last week
- ☆12Dec 19, 2023Updated 2 years ago
- Transform messy HTML from Google Docs into well-structured HTML!☆13Jul 10, 2025Updated 7 months ago
- ☆52Jul 18, 2024Updated last year
- Code and demo for SFHTML5 Talk - D3 in Practice☆10Oct 1, 2015Updated 10 years ago
- Wrapper around gremlin-node to provide out of the box support for Titan graph database☆23Aug 20, 2014Updated 11 years ago
- Given a Substack newsletter, save the contents into an sqlite db and format it as an epub☆13Jan 11, 2024Updated 2 years ago
- Compiles wisp expressions to Javascript in your Clojure project☆12Dec 30, 2018Updated 7 years ago
- A from-scratch multi-difficulty-level tutorial on how pytorch, tensor flow, Jax, etc work☆13Feb 19, 2025Updated last year
- MUD + Unity tutorial☆10Jul 24, 2023Updated 2 years ago
- ☆12Aug 15, 2024Updated last year
- Graph.js is an MVC-like framework for building web applications using the graph data model☆13Oct 28, 2015Updated 10 years ago
- ☆12Oct 4, 2024Updated last year
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 10 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Experimental HKT framework and generic traits for the standard library☆22Dec 11, 2022Updated 3 years ago
- A package to set up, run, and store simulation campaigns in PhysiCell.☆13Updated this week
- Reproducible hardened Linux images for confidential computing and safe MEV☆16Updated this week
- A noun representation in Rust☆11Mar 10, 2023Updated 2 years ago
- ☆15Jun 30, 2025Updated 7 months ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- ☆10Oct 17, 2017Updated 8 years ago
- Analyzes whole genome sequencing data for gene-editing verification☆10Feb 6, 2026Updated 2 weeks ago
- Freiscale Semicomposer -- music composition without scales☆11Apr 3, 2023Updated 2 years ago
- ☆12Mar 22, 2025Updated 11 months ago
- Suite of tools for game developers building on MUD☆12Mar 13, 2024Updated last year
- [ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"☆18Jul 14, 2025Updated 7 months ago
- Synchronization primitives for both web and native.☆16Jan 19, 2024Updated 2 years ago