ヽ(*｀∀´*)ﾉ ｸﾞﾍﾍﾍﾍ /w\
☆16Oct 20, 2013Updated 12 years ago
Alternatives and similar repositories for Code-Library
Users that are interested in Code-Library are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LLM benchmarks☆13Feb 22, 2024Updated 2 years ago
- Universal Crypto Asset Token☆11May 12, 2023Updated 3 years ago
- ☆10Sep 9, 2024Updated 2 years ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- Bangumi for iOS☆23Nov 22, 2022Updated 3 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 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆12Aug 7, 2026Updated 2 months ago
- Fork of Bitcore to work on Qtum - Not as well tested and primarily used for the extra RPC calls needed for the block explorer☆12Sep 21, 2018Updated 8 years ago
- A curated list of yield farming services and tools for software developers☆17Nov 20, 2020Updated 5 years ago
- A simple Mario game showcasing how to create PICO-8 games in JavaScript.☆22Mar 3, 2026Updated 7 months ago
- ☆14May 12, 2023Updated 3 years ago
- Simple osx tester app☆10Dec 11, 2011Updated 14 years ago
- ☆19Feb 22, 2021Updated 5 years ago
- CLI utility for macOS drag & drop☆14Jan 12, 2016Updated 10 years ago
- Deck of Anki Cards covering "Data Structures and Algorithms" as taught by the UC San Diego course on Coursera☆10Jul 25, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆20May 27, 2020Updated 6 years ago
- Honeylemon mono-repo for synthetic BTC cloud mining contracts built on Ethereum. 🍯🍋⛏🤑☆20Jan 24, 2023Updated 3 years ago
- The Node.js client and CLI for Moonshot AI(Kimi).☆28Nov 19, 2025Updated 10 months ago
- mu4e thread folding☆12Mar 30, 2023Updated 3 years ago
- Mac Alfred2插件快速切换网络位置☆13Mar 1, 2014Updated 12 years ago
- Latex resume template☆12Mar 29, 2012Updated 14 years ago
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 3 years ago
- Erratic colors for machines and people, powered by machine learning and artificial intelligence, just kidding.☆14Jul 7, 2026Updated 3 months ago
- ☆17Oct 5, 2018Updated 8 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.
- ☆12Feb 20, 2021Updated 5 years ago
- Fully self-hostable and customizable media entertaining stream service based on Node.js for couples, friends, collaboration teams, and ev…☆23Dec 12, 2022Updated 3 years ago
- Digital Ocean Tutorials 上一些文章的翻译，主要为运维相关。https://www.digitalocean.com/community/tutorials☆12Jun 6, 2016Updated 10 years ago
- 瞬MATATAKI frontend☆27Jan 1, 2023Updated 3 years ago
- OS X / Mint / Ubuntu dotfiles☆11Aug 2, 2022Updated 4 years ago
- Auto update your desktop wallpaper with konachan images 🤤☆16Oct 31, 2016Updated 9 years ago
- TopCoder offline arena supporting multiple languages☆99Feb 3, 2019Updated 7 years ago
- Download images from Konachan.com for OS X☆14Sep 28, 2015Updated 11 years ago
- chelly is a markdown editor born for nothing. (this repo is alive, and help wanted)☆14Dec 25, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- IDA Patcher is a plugin for Hex-Ray's IDA Pro disassembler designed to enhance IDA's ability to patch binary files and memory.☆25May 29, 2022Updated 4 years ago
- CI(詞) shows lyrics that you are currently playing on Spotify.☆12Aug 7, 2016Updated 10 years ago
- A simple, easy to use counter bot to keep track of all the amazing things in your Telegram group!☆32Aug 3, 2022Updated 4 years ago
- a function of experience divided by time☆15Jul 9, 2010Updated 16 years ago
- Sound Voltex/K-Shoot Mania Controller Script for an Arduino Uno☆16Oct 31, 2017Updated 8 years ago
- My Personal Website☆15Nov 19, 2023Updated 2 years ago
- ☆14Oct 22, 2018Updated 7 years ago