The Eido Evoluted.
☆38Jul 20, 2017Updated 9 years ago
Alternatives and similar repositories for youki
Users that are interested in youki are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Meta package for the TeX related Lua type definitions. Bundles all sub repos to build and distribute the definitions☆18Dec 20, 2025Updated 10 months ago
- A Lisp-Interpreter in JavaScript - designed to be run in a browser-environment☆10May 23, 2018Updated 8 years ago
- Development tools for expl3 programmers☆22Updated this week
- Another Template Meta Programming Library☆16Mar 15, 2017Updated 9 years ago
- a deadly simple repl for cpp with ghci style commands☆13Jan 7, 2023Updated 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.
- mirrors.zju.edu.cn☆21Sep 4, 2021Updated 5 years ago
- New implementation of xeCJK☆22Feb 1, 2023Updated 3 years ago
- Construct inequalities for comparison between π or e and a rational number, using definite integrals. Useful for some one-liner proofs of…☆11Sep 5, 2024Updated 2 years ago
- Standard_Code_Library☆19Apr 18, 2019Updated 7 years ago
- This is a collection of my drawing by TikZ☆11May 7, 2019Updated 7 years ago
- DDS Viewer plugin for QuickLook☆14Jun 19, 2022Updated 4 years ago
- ☆11Oct 29, 2026Updated last week
- Koa middleware to cache and serve from S3☆13May 26, 2025Updated last year
- My resume☆12Jul 31, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Manage files and directories in vim☆10Feb 22, 2017Updated 9 years ago
- ☆10Nov 11, 2019Updated 6 years ago
- ElegantBook 模板的 LaTeX3 重构☆13Sep 27, 2024Updated 2 years ago
- ☆11Mar 3, 2023Updated 3 years ago
- Agda formalisation of FOTC (First-Order Theory of Combinators).☆13Aug 25, 2026Updated 2 months ago
- ☆10Nov 20, 2011Updated 14 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- Some shell scripts and profiles for using Ubuntu easily☆23Mar 4, 2013Updated 13 years ago
- Arch Linux chroot for Chrome OS☆10Apr 18, 2014Updated 12 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.
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- Profile repository of Pietro Monticone.☆15Updated this week
- An R package for doing Bayesian model selection for group studies.☆10Mar 2, 2020Updated 6 years ago
- Grokking Deep Learning Examples implemented in Rust☆20Jan 28, 2019Updated 7 years ago
- ☆10Mar 13, 2016Updated 10 years ago
- A curated list of awesome Haskell tutorial modules☆14Apr 7, 2026Updated 7 months ago
- physicx package, extension of physics package☆12Feb 2, 2023Updated 3 years ago
- raytracer project for PPCA 2020☆63Nov 20, 2021Updated 4 years ago
- A meta-circular interpreter of a subset of Scheme☆16Apr 12, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 无界云剪MP4渲染内核，基于webcodes + ffmpeg + webgl开发，实现了MP4视频的编解码，混音等业务☆11May 21, 2025Updated last year
- Intuitive functional programming interface for LaTeX2☆13Dec 21, 2024Updated last year
- 移动端调试工具，可自定义调试面板。☆10May 27, 2016Updated 10 years ago
- Compiler for the Lavish IDL☆17Jul 11, 2019Updated 7 years ago
- Stable branch of nissy, a Rubik's cube solver and FMC assitant☆13Aug 30, 2026Updated 2 months ago
- From Calculus to Cohomology - Ib Madsen and Jørgen Tornehave☆13Oct 2, 2026Updated last month
- Linux命令学习、归纳、整理，基于《The Linux Command Line》和《Unix & Linux大学教程》☆11Oct 21, 2020Updated 6 years ago