|
|
TypeScript |
10 |
Providing some useful shortcuts for markdown with latex. |
Jul 30, 2022 |
|
|
JavaScript |
22 |
iOS shortcuts monorepo, includes some development tools and useful shortcuts, using yarn workspace shortcuts-js. |
Oct 22, 2022 |
|
|
None |
651 |
Useful shortcuts for bash/zsh |
Sep 05, 2022 |
|
|
AutoHotkey |
2 |
some shortcuts for work |
Jan 05, 2023 |
|
|
Racket |
3 |
Wakatime for DrRacket |
Apr 03, 2023 |
|
|
JavaScript |
8 |
Javascript most useful shortcuts |
Aug 28, 2020 |
|
|
JavaScript |
2 |
useful functions / shortcuts / variables for nodeJs |
Jan 15, 2020 |
|
|
Racket |
400 |
DrRacket, IDE for Racket |
Sep 26, 2022 |
|
|
Racket |
2 |
DrRacket, IDE for Racket |
Dec 27, 2018 |
|
|
Racket |
18 |
Easy scripting for DrRacket |
May 18, 2022 |
|
|
Racket |
8 |
Monokai variation for DrRacket |
Oct 21, 2021 |
|
|
None |
2 |
Useful shortcuts and utility scripts |
Sep 07, 2022 |
|
|
None |
37 |
Useful and common terminal shortcuts for macOS |
Jul 26, 2022 |
|
|
None |
3 |
Useful and common terminal shortcuts for macOS |
Aug 29, 2019 |
|
|
Racket |
13 |
Dracula color theme for DrRacket |
Jul 19, 2022 |
|
|
None |
2 |
Vim-like editing for DrRacket |
May 17, 2020 |
|
|
Racket |
174 |
Vim-like editing for DrRacket |
Sep 17, 2022 |
|
|
Racket |
6 |
Whitespace-stripping tool for DrRacket |
Dec 17, 2022 |
|
|
None |
8 |
Useful Sublime Text 2 keyboard shortcuts |
Apr 01, 2020 |
|
|
Shell |
2 |
Bash shortcuts for Git that I find useful |
Jul 12, 2021 |
|
|
None |
3 |
Useful shortcuts for the iOS 12 Shortcuts app that script and simplify common tasks |
Aug 02, 2021 |
|
|
Racket |
4 |
Symbolic Virtual Machine for Automated R1CS Verification |
May 26, 2022 |
|
|
Racket |
4 |
A collection of recipes for 'RSound: A Sound Engine for Racket' library |
Feb 01, 2022 |
|
|
Racket |
4 |
Racket code analysis |
Dec 09, 2021 |
|
|
Racket |
4 |
Infix expression for Racket |
May 19, 2022 |
|
|
Racket |
4 |
Experiments with require |
May 20, 2017 |
|
|
Racket |
4 |
A Racket implementation of the Troll dice-rolling language |
Jan 05, 2022 |
|
|
Racket |
4 |
URI Template (RFC 6570) for Racket |
Mar 21, 2019 |
|
|
Racket |
4 |
2020年春季学期 北京大学 函数式程序设计（郭炜老师主讲）习题代码整理 |
Jun 12, 2022 |
|
|
Racket |
4 |
Invoke `raco test` with `errortrace` on |
Jul 21, 2022 |
|
|
Racket |
4 |
SICP exercises in Haskell or Racket |
Sep 05, 2021 |
|
|
Racket |
4 |
Efficient enumeration of polymorphic λ-terms from System Fω. |
Nov 16, 2021 |
|
|
Racket |
4 |
This library provides a table-panel% class that specializes the panel% class to provide a panel … |
Oct 30, 2021 |
|
|
Racket |
4 |
Some university work and other stuff |
Apr 07, 2022 |
|
|
Racket |
4 |
A Racket library to make it easy to colorize terminal output |
Feb 10, 2022 |
|
|
Racket |
4 |
racket binding to tree-sitter |
Mar 29, 2022 |
|
|
Racket |
4 |
How to use R7RS Scheme libraries in a Racket program |
Dec 22, 2021 |
|
|
Racket |
4 |
Interval arithmetic for real computation |
Aug 09, 2022 |
|
|
Racket |
4 |
Run raco run! Easier running Racket submodules on the command line. |
Oct 26, 2020 |
|
|
Racket |
4 |
None |
Jul 08, 2022 |
|
|
Racket |
4 |
THIS REPOSITORY IS OBSELETE |
Aug 08, 2019 |
|
|
Racket |
4 |
None |
Oct 09, 2021 |
|
|
Racket |
4 |
None |
Oct 09, 2021 |
|
|
Racket |
4 |
None |
Jun 13, 2022 |
|
|
Racket |
4 |
None |
Jan 28, 2022 |
|
|
Racket |
4 |
None |
May 09, 2022 |
|
|
Racket |
4 |
None |
Oct 09, 2021 |
|
|
Racket |
4 |
An experiment to extract "blue boxes" from any Racket source file. |
Dec 04, 2015 |
|
|
Racket |
4 |
Racket wrapper for The Echo Nest API |
Nov 22, 2017 |
|
|
Racket |
4 |
Racket code to use webapi-markdown files. |
Aug 22, 2019 |