Stars
OpenDiLoCo: An Open-Source Framework for Globally Distributed Low-Communication Training
Organizing Japan's Administrative Data
A GPT-4 AI Tutor Prompt for customizable personalized learning experiences.
Offsite-Tuning: Transfer Learning without Full Model
้ๅ่จ็ซ็ฎ็ๅจๆผๆไพใๅฟซ้ๆถ็ซๆถไบบๅ ใ๏ผๅๅฉๆจๅฟซ้ๆถๆง่ชๅทฑๅฐๅฑฌใๅ ่ฒปใๅฎๅ จใๆ็จ็่ฆ่จๆ่ญฐ็ณป็ตฑใ
This is a Chrome plugin for filter content farm and scam web
๐ The power of CSS typesetting, right at your fingertips.
Build virtual reality experiences with A-Frame and React.
Build and run Docker containers leveraging NVIDIA GPUs
A SuperCompiler for Martin-Lรถf's Type Theory
A starter boilerplate for a universal webapp using express, react, redux, webpack, and react-transform
LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
API samples for the Universal Windows Platform.
eddyparkinson / cellmaster
Forked from audreyt/ethercalcNode.js port of EtherCalc with widgets
Ansible role to install & maintain Ethercalc
BASH: Better SSL in Nginx in 10 minutes. Configuration files and setup scripts for Certbot.
pdftotext wrapper that generates JSON with bounding box data. Takes care of duplicate characters.
Linear Dependent Types for Differential Privacy TypeChecker
Indigo Platform for publishing beautiful legislation.
This JavaScript enables the tap-to-play function on those platforms that do not properly support the EPUB 3 Media Overlay specification (most notably, Apple iBooks).