|
C++ |
783 |
SML: C++14 State Machine Library |
Aug 09, 2022 |
|
Standard ML |
3 |
Isabelle/IsaPlanner SML Library (for PolyML) |
Jun 19, 2014 |
|
C++ |
3 |
[Boost].SML: C++14 State Machine Library |
Jan 05, 2023 |
|
TypeScript |
2 |
SML basis documentation |
Jun 22, 2022 |
|
Standard ML |
99 |
SML reference interpreter |
Apr 24, 2023 |
|
HTML |
7 |
Tasmota SML Parser |
Apr 11, 2023 |
|
Python |
10 |
A library for the SML (Smart Message Language) protocol |
Jul 28, 2022 |
|
Standard ML |
23 |
an SML language server that uses SML/NJ's "visible compiler" feature |
Dec 04, 2022 |
|
LabVIEW |
4 |
Unicode library for LabVIEW |
Jun 18, 2021 |
|
Python |
6 |
Sml to MQTT Bridge |
Apr 08, 2022 |
|
Haskell |
3 |
SML to OCaml converter |
May 17, 2019 |
|
TeX |
10 |
SML The Living Language |
Jun 04, 2022 |
|
C++ |
53 |
A C++17 header-only Unicode library. (Unicode 14.0) |
Nov 26, 2022 |
|
Standard ML |
4 |
This repository is sample of SML# code for Start SML# in Nagoya. |
Dec 21, 2014 |
|
Standard ML |
5 |
MLB support for CM (the SML/NJ Compilation and Library Manager) |
Aug 18, 2022 |
|
PHP |
6 |
PHP library containing Unicode methods |
Dec 31, 2021 |
|
OCaml |
7 |
A Unicode library for OCaml |
Apr 04, 2023 |
|
C++ |
38 |
Modern C++17 unicode library |
May 24, 2022 |
|
C++ |
7 |
A lightweight c++ unicode library |
Dec 14, 2021 |
|
JavaScript |
6 |
Node.js library to escape Unicode |
Dec 25, 2019 |
|
Python |
3 |
paradigm of programming with sml |
Sep 19, 2022 |
|
JavaScript |
42 |
Page for the SML book |
Feb 25, 2023 |
|
Haxe |
75 |
Haxe library for Unicode string support |
Oct 28, 2022 |
|
Common Lisp |
49 |
Portable Unicode library for Common Lisp |
Aug 26, 2022 |
|
Rust |
10 |
A Unicode-aware text justification library |
Sep 09, 2020 |
|
Racket |
2 |
Library for operations on Unicode codepoints. |
Mar 19, 2023 |
|
JavaScript |
2 |
Node.js library to convert Unicode escapes |
Jan 11, 2022 |
|
Standard ML |
3 |
A Turing machine simulator in SML |
Aug 15, 2022 |
|
Vim script |
99 |
:tada: Enjoy writing SML within Vim |
Apr 03, 2023 |
|
Standard ML |
2 |
stack trace demo for SML/NJ |
Oct 18, 2021 |
|
Standard ML |
3 |
Simple unification for ABTs in SML |
Feb 25, 2016 |
|
Handlebars |
16 |
Documentation for SML and Unreal modding. |
Apr 29, 2023 |
|
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 |
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 |