Skip to content
View ineiti's full-sized avatar

Highlights

  • Pro

Organizations

@dedis @c4dt

Block or report ineiti

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

zkGolf R1CS optimization challenge for the Longfellow ECDSA circuit over the P-256 base field

Lean 2 1 Updated Oct 25, 2026

Enhanced ChatGPT Clone: Features Agents, MCP, Skills, DeepSeek, Anthropic, AWS, OpenAI, Responses API, Azure, Groq, o1, GPT-5, Mistral, OpenRouter, Vertex AI, Gemini, Artifacts, AI model switching,…

TypeScript 47,150 9,709 Updated Nov 15, 2026

Store your data from all your accounts and devices in a single cohesive timeline on your own computer

Go 3,706 134 Updated May 22, 2026

Algebraic effects for Rust

Rust 678 22 Updated Jun 30, 2024

Project Maintenance Terms

82 3 Updated Feb 10, 2026

Rust crypto library for data privacy tools

Rust 135 45 Updated May 26, 2026

WASM wrapper over the crypto library

Rust 22 8 Updated Dec 18, 2025

Typescript abstractions over Rust crypto library's WASM wrapper

TypeScript 39 10 Updated Dec 18, 2025

A minimalistic opinionated Mastodon web client

JavaScript 1,516 185 Updated Nov 15, 2026

Private & local AI personal knowledge management app for high entropy people.

JavaScript 8,531 525 Updated May 13, 2025

Privacy Meter: An open-source library to audit data privacy in statistical and machine learning algorithms.

Jupyter Notebook 731 154 Updated Apr 26, 2025

Arti-wrapper to use REST over Tor

Rust 5 2 Updated Aug 15, 2024

Async-friendly WebRTC implementation in Rust

Rust 5,189 538 Updated Nov 7, 2026

Fair Fun Fast Ledger in the browser - starting with the network using WebRTC data.

Rust 20 5 Updated Apr 7, 2026

First shot at collections from Matteo

Go 2 1 Updated Jan 31, 2018

Resumes generated using the GitHub informations

JavaScript 62,900 1,393 Updated Feb 15, 2023

CoSi command line interface

21 1 Updated Jan 23, 2017

[NOT MAINTAINED] This script creates a NATed or Bridged WiFi Access Point.

Shell 4,512 1,000 Updated Dec 13, 2023

Very simple accounting-system

Ruby 1 Updated Jul 21, 2018

Cours de base - 2ème partie, Excel

1 Updated Apr 6, 2015

Cours de base - 3ème partie, PowerPoint et Internet

1 Updated Apr 6, 2015

Documentations pour un cours de base - 1ère partie

1 1 Updated Apr 6, 2015

Student, course and diploma handling for a small school

Ruby 1 Updated Jul 21, 2018

Based on QooxDoo, it is a mix of RoR and Access

Ruby 1 Updated Jul 21, 2018

Break Apart Documents into Images, Text, Pages and PDFs

Ruby 1 Updated Jul 14, 2012

Break Apart Documents into Images, Text, Pages and PDFs

Ruby 834 212 Updated Aug 31, 2024