《函子风云录》：一个轻小说接力写作企划
☆35Feb 16, 2019Updated 7 years ago
Alternatives and similar repositories for functor-fantasy
Users that are interested in functor-fantasy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 打打 bot☆13Updated this week
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated 2 years ago
- auto generated touhou-style midi tunes with char-rnn☆10Sep 16, 2016Updated 9 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 5 years ago
- Support repo for the pack☆20Jan 20, 2020Updated 6 years ago
- 東方BGM on VGS for iOS☆14May 15, 2021Updated 5 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- Reader is a Bootstrap blog template.☆12Dec 31, 2025Updated 7 months ago
- 女装☆15Feb 28, 2020Updated 6 years ago
- Game in which you have to locate cities on a map☆13Oct 19, 2025Updated 9 months ago
- Noah's Ark II OpenMaind wechat group's new disscus space☆45Jul 10, 2016Updated 10 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.
- A cross-platform C++11 implementation of the CMM language interpreter☆11Jul 18, 2025Updated last year
- BootStrap + Django3 + simpleUI 实现的个人博客☆12Sep 22, 2021Updated 4 years ago
- nim playground using monaco editor and wandbox api☆12Oct 25, 2024Updated last year
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- Verified C programming in Agda☆16Mar 19, 2021Updated 5 years ago
- macro for spreading blocks into call parameters/collections☆14Apr 2, 2026Updated 4 months ago
- Easy way to enable/disable proxies in Emacs and Elisp.☆15Mar 30, 2022Updated 4 years ago
- Official Nim port of Sqids. Generate short unique IDs from numbers.☆13Nov 26, 2023Updated 2 years ago
- Processing sketch based on the spirograph principle☆16Sep 14, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A simple Brainfuck JIT written as a learning exercise.☆17Aug 13, 2019Updated 7 years ago
- pure java. GitHub文件上传工具，支持批量拖拽，可用于图床、批量上传等用途。仅需Java环境即可运行☆16Apr 15, 2020Updated 6 years ago
- The frontend of Penguin Statistics' embed widget. Provides embeddable statistical data to external websites.☆11Apr 13, 2023Updated 3 years ago
- Script, capture and replay terminal sessions☆16Dec 5, 2023Updated 2 years ago
- Polyfill for the getEventListeners method available in dev tools. Includes a) extended event listener options 'first', 'last' and 'unstop…☆11Aug 20, 2020Updated 5 years ago
- Idris port of Haskell's sop-core library☆36Aug 14, 2025Updated last year
- The root repository for the SpectralSequences project.☆34Updated this week
- ☆11Dec 31, 2025Updated 7 months ago
- import Vegas EDL into After Effects☆12Dec 19, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆12Jun 28, 2018Updated 8 years ago
- 王道课后习题代码☆10Nov 11, 2022Updated 3 years ago
- My slides and notes☆140May 31, 2023Updated 3 years ago
- Highly configurable texture packer☆17Sep 28, 2023Updated 2 years ago
- Adobe Source Han font family converted to TrueType format☆42Jan 5, 2021Updated 5 years ago
- Sources - with fixes - of the draft Common Lisp specification proposed to the American National Standard for Information Systems as well …☆16May 6, 2024Updated 2 years ago
- xenharmonic & microtonal support for musescore! Just intonation, regular temperaments, chromatic staves, Bohlen-Pierce, FJS, NEJI, HEJI, …☆52Jan 15, 2026Updated 7 months ago