vscode extension Type Music.
☆12Nov 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:
- A simple gitlab/github web hooks daemon☆16Feb 6, 2026Updated last month
- plugin to make sure there is a single top level heading in a document by adjusting heading ranks accordingly☆13Sep 21, 2023Updated 2 years ago
- ☆16Feb 18, 2025Updated last year
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- Restart your gVim☆23Feb 24, 2020Updated 6 years ago
- RemoteOK - 远程工作也OK☆21Mar 19, 2025Updated last year
- ANSI colors in your browser!☆14Dec 7, 2022Updated 3 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Tiny overview of the code. Inspired by minimap in Sublime Text.☆11Jun 6, 2018Updated 7 years ago
- Simple example app using Gatsby.js with Purescript☆12Jan 6, 2023Updated 3 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- Lain: A Minimal Lisp Dialect☆10Sep 4, 2020Updated 5 years ago
- naïve blockchain in Rust☆10Nov 13, 2020Updated 5 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- EncryptedClipboard☆13Sep 24, 2020Updated 5 years ago
- My own Rust implementation of Mal (Make a Lisp)☆14Jul 25, 2019Updated 6 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 6 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- Shareable config for Renovate (renovatebot.com)☆13Updated this week
- 🌊 A React UI library☆13Feb 2, 2022Updated 4 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- 📚 A library for managing libraries and resolving unit paths☆17Nov 21, 2025Updated 4 months ago
- Udacity-DAND-VIP入门课程 每周导学及项目☆10Dec 12, 2019Updated 6 years ago
- [WIP] ⛵ A basic key-value storage service with transaction and fault-tolerant in Rust.☆10Jul 12, 2020Updated 5 years ago
- Fast string seaching for node.js ( aho-corasick algorithm )☆13Jan 24, 2024Updated 2 years ago
- Javascript library to add range syntax functionality to any object☆42Apr 16, 2023Updated 2 years ago
- Haskell ctags/etags generator☆12Nov 20, 2015Updated 10 years ago
- serverless version of zwei☆17Nov 5, 2021Updated 4 years ago
- Ponyfill of the experimental `React.useEffectEvent` hook☆25Updated this week
- A Minecraft demo in Haskell ;)☆12Mar 11, 2016Updated 10 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- my slides and demo for beijing elixir meetup 05/16/2020☆18Mar 28, 2023Updated 2 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- ☆13Sep 28, 2018Updated 7 years ago
- LeetCode Solutions GitBook☆12Dec 10, 2018Updated 7 years ago
- 各種 Text-to-Speech エンジンを統一的に操作するライブラリです☆10Apr 10, 2022Updated 3 years ago
- Python script for encrypting and decrypting in the same as an enigma machine☆17Aug 15, 2011Updated 14 years ago
- My Idris2 solutions/attempts for Advent of Code 2020☆17Dec 16, 2020Updated 5 years ago