|
|
Jupyter Notebook |
2 |
Experiments on Higher Order Tensor Renormalization Group |
Nov 26, 2023 |
|
|
OCaml |
7 |
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy |
Dec 18, 2022 |
|
|
Rust |
3 |
The Supervisionary proof-checking kernel for higher-order logic |
Sep 23, 2022 |
|
|
OCaml |
11 |
[wip] Proof format and checker for first-order and higher-order theorem provers |
Mar 29, 2023 |
|
|
JavaScript |
2 |
Some examples of Higher Order functions using JavaScript. |
Mar 10, 2023 |
|
|
SMT |
3 |
Book for Quip, a proof format for first-order and higher-order theorem provers |
Mar 02, 2023 |
|
|
MATLAB |
34 |
Experimental Matlab code for methods and some examples in "Higher-order organization of complex networks" |
Feb 17, 2023 |
|
|
Java |
2 |
This is a higher-order fork of box2d-editor. I just did some obvious right things |
May 02, 2023 |
|
|
JavaScript |
2 |
A collection of browser-based Temporal Order Judgment (TOJ) experiments powered by jsPsych and some custom … |
Apr 06, 2022 |
|
|
JavaScript |
3 |
A collection of browser-based Temporal Order Judgment (TOJ) experiments powered by jsPsych and some custom … |
May 17, 2022 |
|
|
Standard ML |
4 |
Mavic Air Firmware modules packaged with a system running GPL busy box binaries... |
Jun 25, 2022 |
|
|
Standard ML |
4 |
Tridactyl's parser for Vi-style command-line, rc-files, and vimscript |
Apr 02, 2022 |
|
|
Standard ML |
4 |
A library for Brouwerian data structures (spreads, fans, choice sequences) |
Apr 19, 2017 |
|
|
Standard ML |
4 |
Archive of all TrueCrypt 7.1a files |
Apr 18, 2022 |
|
|
Standard ML |
5 |
None |
Jul 26, 2022 |
|
|
Standard ML |
5 |
A simple Modelica frontend (flattener and translator) |
Sep 17, 2021 |
|
|
Standard ML |
5 |
An experiment with nominal features in a programming language |
Apr 23, 2020 |
|
|
Standard ML |
5 |
None |
Feb 28, 2022 |
|
|
Standard ML |
5 |
MLB support for CM (the SML/NJ Compilation and Library Manager) |
Aug 18, 2022 |
|
|
Standard ML |
5 |
A Lambda Calculus Interpreter |
Mar 19, 2022 |
|
|
Standard ML |
7 |
WARNING: not the production stake pool registry. That will be announced later. |
May 12, 2021 |
|
|
Standard ML |
7 |
Hilite - a simple code to HTML syntax highlighter |
May 04, 2022 |
|
|
Standard ML |
8 |
豫言 |
May 29, 2022 |
|
|
Standard ML |
8 |
lean's openwrt/lede for xiaomi router 4A (R4AC) |
Apr 10, 2022 |
|
|
Standard ML |
9 |
Registry for cloud and SaaS providers for StackQL, generated from extensions to the providers OpenAPI3 … |
Jun 12, 2022 |
|
|
Standard ML |
9 |
Shim to substitute `Pervasives` with `Stdlib` before 4.08. |
Feb 18, 2022 |
|
|
Standard ML |
9 |
Many different sorting algorithms implemented in SML-NJ |
Dec 28, 2021 |
|
|
Standard ML |
10 |
Mirror of sw binaries from https://software-network.org/client/ |
Jul 03, 2022 |
|
|
Standard ML |
10 |
This is a repository for CSCI-GA.2110-001 recitation class. |
Oct 17, 2021 |
|
|
Standard ML |
10 |
None |
Aug 02, 2021 |
|
|
Standard ML |
11 |
k3的固件和插件备份仓库，Mac下解决音乐解锁插件证书到期，升级ssr-plus和v2ray版本,以及xray |
Apr 13, 2022 |
|
|
Standard ML |
11 |
None |
Sep 28, 2021 |
|
|
Standard ML |
12 |
None |
Jun 13, 2022 |
|
|
Standard ML |
12 |
Oepnwrt (lean's lede) for xiaomi router pro (R3P) |
Aug 10, 2022 |
|
|
Standard ML |
12 |
None |
Mar 31, 2022 |
|
|
Standard ML |
12 |
Github bot to detect space-tab-mixed files, and post issue. |
Oct 15, 2020 |
|
|
Standard ML |
13 |
A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover. |
Feb 06, 2022 |
|
|
Standard ML |
14 |
Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees |
Apr 21, 2022 |
|
|
Standard ML |
485 |
getcomposer.org sources |
Sep 11, 2022 |
|
|
Standard ML |
21469 |
好耶 是女装 |
Aug 19, 2022 |
|
|
Standard ML |
2 |
Advent of code solutions in Standard ML. |
Dec 07, 2021 |
|
|
Standard ML |
2 |
КриптоАРМ ГОСТ Web |
Mar 30, 2022 |
|
|
Standard ML |
9 |
[Dress分支] 好耶 是女装 |
Feb 25, 2023 |
|
|
Standard ML |
3 |
Converts VHDL code to AST using ML-Lex and ML_Yacc |
Nov 08, 2022 |
|
|
Standard ML |
4 |
Mirror of the official smltojs SVN repository |
Jan 31, 2020 |
|
|
Standard ML |
3 |
None |
Sep 19, 2022 |
|
|
Standard ML |
6 |
Emperiments with algorithms for pricing American Options |
Mar 23, 2020 |
|
|
Standard ML |
4 |
None |
Nov 20, 2020 |
|
|
Standard ML |
3 |
JGI Tech Talk binder repo |
Feb 13, 2021 |
|
|
Standard ML |
3 |
Workflow and config files for searching (very) large public databases with sourmash sketches |
Sep 30, 2022 |