vscode extension Type Music.
☆13Nov 11, 2019Updated 6 years ago
Alternatives and similar repositories for type-music
Users that are interested in type-music are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Easy interactive prompts to create and validate data using JSON schema.☆11Apr 9, 2026Updated 2 months ago
- Project discontinued, use https://github.com/Kry9toN/Clash4Magisk instead.☆11Sep 22, 2022Updated 3 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- RemoteOK - 远程工作也OK☆21Mar 19, 2025Updated last year
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- I want to say please and thank you to Claude, but I don't want to waste tokens on it.☆27Feb 18, 2026Updated 3 months ago
- EncryptedClipboard☆13Sep 24, 2020Updated 5 years ago
- My own Rust implementation of Mal (Make a Lisp)☆15Jul 25, 2019Updated 6 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- The last routing library you will ever need in your React projects. (At least if you're using react-router–dom but also why wouldn't you?…☆13Nov 26, 2024Updated last year
- chrome extention. OCR on the browser and copy it to the clipboard.☆11Mar 15, 2019Updated 7 years ago
- feWorkflow Sites☆94Feb 27, 2017Updated 9 years ago
- 第三次重构!☆16Dec 22, 2020Updated 5 years ago
- 🌊 A React UI library☆13Feb 2, 2022Updated 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.
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- 📚 A library for managing libraries and resolving unit paths☆17Apr 6, 2026Updated 2 months ago
- [WIP] ⛵ A basic key-value storage service with transaction and fault-tolerant in Rust.☆10Jul 12, 2020Updated 5 years ago
- JsonML-related tools for losslessly converting between XML/HTML and JSON, including mixed-mode XML. http://jsonml.org☆12Nov 6, 2019Updated 6 years ago
- A community that works for anyone, any creation☆21Nov 1, 2021Updated 4 years ago
- Material Design Native Theme for Mastodon☆24Jan 6, 2023Updated 3 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- Ponyfill of the experimental `React.useEffectEvent` hook☆28Jun 2, 2026Updated last week
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 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.
- my slides and demo for beijing elixir meetup 05/16/2020☆18Mar 28, 2023Updated 3 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- implementation deriving for idris2☆12Feb 21, 2021Updated 5 years ago
- LeetCode Solutions GitBook☆12Dec 10, 2018Updated 7 years ago
- zsh completions for yabai tiling WM☆16Nov 13, 2023Updated 2 years ago
- My Idris2 solutions/attempts for Advent of Code 2020☆17Dec 16, 2020Updated 5 years ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated last year
- Wikiplus-3.0 is the new Wikiplus with a plugin api. It is a good way for edit in MediaWiki☆18Nov 2, 2016Updated 9 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 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.
- Express-like HTTP Client☆11Dec 21, 2022Updated 3 years ago
- A minimal light colorscheme for Vim/Neovim☆20Jan 30, 2018Updated 8 years ago
- This project is vite plugin for React Router SSR on AWS Amplify Hosting and AWS Amplify React Router Adapter.☆18Updated this week
- GraphQL ABC - a GraphQL middleware for the abc web framework☆11Jun 11, 2020Updated 6 years ago
- On the Path of Illumination ! :)☆26Dec 23, 2013Updated 12 years ago
- Easily swap the values in a ternary expression☆14Sep 11, 2023Updated 2 years ago
- Talking about classical logic and abstract algebra in Haskell☆16Feb 12, 2021Updated 5 years ago