A project page template for academic papers. Demo at https://eliahuhorwitz.github.io/Academic-project-page-template/

CKAN is an open-source DMS (data management system) for powering data hubs and data portals. CKAN makes it easy to publish, share and use data. It powers catalog.data.gov, open.canada.ca/data, data…

RGL - RAG-on-Graphs Library

A free and open database of all the licenses, in particular all the open source software licenses

Codebase for "Paid with Models: Optimal Contract Design for Collaborative Machine Learning". Implementation of optimal contracting strategies for incentivizing machine learning collaboration.

Tools for merging pretrained large language models.

The new generation chameleon based on NRF52840 makes the performance of card emulation more stable. And gave the chameleon the ability to read, write, and decrypt cards.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.

Creates CycloneDX Bill of Materials (BOM) for your projects from source and container images. Supports many languages and package managers. Integrate in your CI/CD pipeline with automatic submissio…

Repository for the CookieBlock browser extension, which automatically enforces user privacy policy on browser cookies.

Euler Yet another proof Engine

Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!

The model for the information captured in SPDX version 3 standard.

Data Terms of Use language reasoner implementation

Converse with an LLM provider of your choice. Store your documents and chat history in a Solid pod.

FOSSology is an open source license compliance software system and toolkit. As a toolkit you can run license, copyright and export control scans from the command line. As a system, a database and w…

Azur Lane scripts patcher.

Version 4 of Carneades, implemented in Go

AdNauseam: Fight back against advertising surveillance

🍳 Recipes for the Prodigy, our fully scriptable annotation tool

List of Dirty, Naughty, Obscene, and Otherwise Bad Words

A fully-searchable and accessible archive of court data including growing repositories of opinions, oral arguments, judges, judicial financial records, and federal filings.

🎥 Command line video player

A curated list of practical guide resources of LLMs (LLMs Tree, Examples, Papers)

天涯 kkndme 神贴聊房价

A flexible Federated Learning Framework based on PyTorch, simplifying your Federated Learning research.