CTFs as you need them
Repository Index
47,133 repositories indexed
73–96 of 713 · Most stars
The Universal Filesystem Abstraction for Go
- compression
- filesystem
- fs
- go
An unobtrusive and user-friendly desktop application for IPFS on Windows, Mac and Linux.
Search your computer by what's in your files: photos, PDFs, documents, recordings, videos and code. On-device on Mac, Windows and Linux, built on Google DeepMind's EmbeddingGemma 2.
- embeddinggemma
- embeddings
- llama-cpp
- local-first
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
A cross-platform file change monitor with multiple backends: Apple macOS File System Events, *BSD kqueue, Solaris/Illumos File Events Notification, Linux inotify and fanotify, Microsoft Windows and a stat()-based backend.
- event-notifications
- change-monitor
- fswatch
- kqueue
lakeFS - Data version control for your data lake | Git for data
- data-engineering
- data-versioning
- go
- object-storage
The A32NX & A380X Project are community driven open source projects to create free Airbus aircraft in Microsoft Flight Simulator that are as close to reality as possible.
- javascript
- a320
- rust
- reactjs
Bloodborne running natively on Windows 10/11: launcher in 13 languages, DLSS, FSR 3.1/4, unlocked FPS, cheats, mods, one-click updates.
Share and collaborate by syncing with any Git repository instantly. Linux, macOS, and Windows
- sync
- git
- version-control
- self-hosted
Modern framework to print the web correctly.
- framework
- printer
- css-framework
- scss-framework
Community list of awesome projects, apps, tools, pinning services and more related to IPFS.
- ipfs
- awesome-ipfs
- awesome
- awesome-list
Any window from your Mac, live on your iPhone or iPad. Touch, Apple Pencil, trackpad and keys. Free, open source, no servers.
Official GeoServer repository
- web
- mapping
- web-mapping
- java
Find files with SQL-like queries
- find
- files
- filesystem
- query
OpenPDF is an open-source Java library for creating, editing, rendering, and encrypting PDF documents, as well as generating PDFs from HTML. It is licensed under the LGPL and MPL.
- pdf-generation
- java
- itext
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
- fsharp
- compiler
- visual-studio
- netcore
Translated词光 (Ciguang, "word light") · Word Atlas — Illustrated IELTS vocabulary with 7,298 words, UK/US audio and FSRS review. Open-source app + CC BY 4.0 dataset.
- chinese
- dataset
- english-learning
- flashcards
Itsycal is a tiny calendar for your Mac's menu bar. http://www.mowglii.com/itsycal
A premium app for managing and editing your photos, videos, GIFs without ads
Bloodborne (v1.09) running natively on Linux and Windows: the game's x86-64 code runs as is, GPU side translated to Vulkan; FSR 4 / DLSS, co-op (BBSC). Bring your own dump.
Math.NET Numerics
- math
- numerics
- linear-algebra
- fsharp
Framework for serverless Decentralized Applications using Ethereum, IPFS and other platforms
TranslatedPlay your own Switch games on iPhone/iPad — one-click macOS app, no terminal. | Put Switch games on your iPhone: build with one click in a graphical interface, no command line needed. Bring your own game.