An account-less app to organize events and invite people.
☆19Jun 9, 2026Updated last week
Alternatives and similar repositories for easy-rsvp
Users that are interested in easy-rsvp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Jul 2, 2024Updated last year
- Template for Lean<->Rust FFI☆16Feb 11, 2024Updated 2 years ago
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- Petrinet.org interactive playground website☆16Oct 17, 2019Updated 6 years ago
- Nix + Lean = Nale☆12Jul 16, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- Missing values for julia☆14Aug 22, 2020Updated 5 years ago
- Bydelsfakta is a frontend application for Oslo municipality which visualises demographic statistics and data on various topics for the 15…☆11Updated this week
- Blockchain-based security layer for the AUR☆15Mar 5, 2018Updated 8 years ago
- A fork of Open Quantum Safe Project's fork of OpenSSL 1.1.1m, which adds QUIC protocol support from the quictls project.☆10Feb 9, 2022Updated 4 years ago
- BLST-Verification☆23Apr 22, 2026Updated last month
- ☆10Jan 8, 2024Updated 2 years ago
- A CSV parser for Elm.☆12Apr 12, 2023Updated 3 years ago
- [mirror] Generic n-dimensional polyline simplification☆21Jul 5, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- ☆22Nov 23, 2023Updated 2 years ago
- Tool for compiling Lean to WASM☆27Mar 17, 2024Updated 2 years ago
- A MySQL API for Lean 4☆20Mar 11, 2022Updated 4 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Jun 7, 2026Updated last week
- ☆16Jun 20, 2022Updated 3 years ago
- NorESM Land Sites Platform (NorESM-LSP) for site-level simulation over land with CLM-FATES☆13May 12, 2025Updated last year
- An ahead-of-time compiler from Erlang (intermediate language) to LLVM IR and a runtime library for linking against it☆15Sep 18, 2018Updated 7 years ago
- Formality in itself☆20Nov 30, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- General purpose buffer for use with building JITs☆19Oct 13, 2023Updated 2 years ago
- A one file creative coding library☆29Feb 23, 2017Updated 9 years ago
- ☆10Apr 27, 2022Updated 4 years ago
- Github Actions wrapper for vmtest☆12Jan 10, 2025Updated last year
- Lisp implementation of Lurk.☆79Sep 4, 2024Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated last year
- Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.☆19Dec 16, 2020Updated 5 years ago
- Moonad: a p2p academic journal, or a social network for code?☆27Jan 6, 2023Updated 3 years ago
- Hackeriet Website☆19Dec 28, 2025Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 years ago
- Chainer implementation of the Wesserstein GAN☆21Apr 14, 2017Updated 9 years ago
- A LISP interpreter written in ReasonML, targeting native and browser environments☆17Sep 17, 2018Updated 7 years ago
- A crystal-lang tree structure that is built using a delimiter.☆12Feb 22, 2017Updated 9 years ago
- Code to go with my article "The AWK book's 60-line version of Make"☆15Sep 10, 2023Updated 2 years ago
- Peer-to-peer social media☆13Oct 15, 2020Updated 5 years ago
- ☆20Sep 29, 2021Updated 4 years ago