|
TeX |
2 |
Useful TeX, LaTeX and BibTeX things |
Dec 02, 2022 |
|
Python |
36 |
Extension to python-markdown to support LaTeX (rather than html) output |
Nov 15, 2022 |
|
TeX |
7 |
Customizations of LaTeX Styles Useful for Scientific Papers |
Nov 02, 2022 |
|
TeX |
13 |
This is a latex template to write research papers. |
Dec 02, 2022 |
|
None |
2 |
Different things that I find useful. |
Dec 15, 2021 |
|
Python |
5 |
Useful scripts for theos projects to install packages via USB rather than SSH. |
Sep 19, 2021 |
|
JavaScript |
7 |
Easily customizable search suggestion plugin for jQuery, which suggests results directly, rather than search terms. |
Jan 23, 2015 |
|
Elixir |
2 |
Here you can find various templates for different things so you don't have to write … |
Mar 23, 2022 |
|
Go |
8 |
🏫 Automation for techy students that write papers for high school in LaTeX |
Jan 12, 2022 |
|
Ruby |
9 |
Classes to access the GraphQL instrospection result rather than using the parsed JSON directly as … |
Jun 01, 2022 |
|
Rust |
2 |
GGML bindings that aim to be idiomatic Rust rather than directly corresponding to the C/C++ … |
Apr 26, 2023 |
|
TeX |
18 |
A LaTeX package for notes / todo / questions / answers. Useful while writing academic … |
Dec 06, 2022 |
|
None |
2 |
"Most of us must learn to love people and use things rather than loving things … |
Apr 14, 2022 |
|
Go |
3 |
Golang library for operations using monotonic time (useful for working with elapsed rather than wall … |
Dec 26, 2020 |
|
JavaScript |
5 |
Easily customizable search suggestion plugin for jQuery, which suggests results directly, rather than search terms. … |
Nov 27, 2018 |
|
Go |
62 |
A starter kit for building protoc plugins. Rather than write your own, you can just … |
Aug 19, 2022 |
|
Python |
27 |
Write html components directly in python and you have a beautiful but controversial MIXTure |
May 12, 2022 |
|
JavaScript |
5 |
multilevel on top of reconnect. adds errors to streams that have been disconnected rather than … |
Jul 11, 2019 |
|
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 |
|
Racket |
4 |
A more consistent approach to HTTP requests and responses for both clients and servers, in … |
Aug 22, 2019 |
|
Racket |
4 |
None |
May 18, 2022 |
|
Racket |
4 |
🌊🔊 Racket interface for Google’s Wavenet Cloud text-to-speech API |
Jul 17, 2022 |