Pinned Repositories
aobench_sml
porting aobench to various StandardML implementations.
basic_iter.py
Basic functions on sequcences for Python
coq-refman-ja
Coq reference manual (Japanese Translation)
garrigue_coq_lecture
ジャック・ガリグ先生のCoq講義資料
inhert.peg
C library for building PEG-based parsers
iter-zig
A basic iterator library written in Zig
sha2_sml
An implementation SHA2 algorithm in full StandardML
sha3_sml
An implementation SHA3 algorithm in full StandardML
sml_stacktrace
stack trace demo for SML/NJ
z3sml
Z3 binding library for StandardML
eldesh's Repositories
eldesh/iter-zig
A basic iterator library written in Zig
eldesh/sha2_sml
An implementation SHA2 algorithm in full StandardML
eldesh/aobench_sml
porting aobench to various StandardML implementations.
eldesh/basis_concept-zig
A collection of basis concept and their operations
eldesh/llrbtree-zig
A container library with llrbtree written in Zig.
eldesh/mcc-typeclasses
Münster Curry compiler + TypeClass (mirror)
eldesh/mllex-polyml
MLLex for Poly/ML
eldesh/mlyacc-polyml
MLYacc for Poly/ML
eldesh/semverq
A cli tool for validating, accessing and convert to json.
eldesh/sha3_sml
An implementation SHA3 algorithm in full StandardML
eldesh/smlnjlib-polyml
Re-ported smlnj-lib for Poly/ML
eldesh/basic_iter.py
Basic functions on sequcences for Python
eldesh/coq-refman-ja
Coq reference manual (Japanese Translation)
eldesh/ante
A safe, easy systems language
eldesh/aobench_ante
A microbench for floating point calculation in Ante programming language
eldesh/ATS-Postiats
ATS2公式ドキュメント翻訳リポジトリ(translate_jaブランチ)
eldesh/AVH-Sample
eldesh/cargo-deb
A cargo subcommand that generates Debian packages from information in Cargo.toml
eldesh/docker-coq
Dockerfile for Coq interactive theorem prover
eldesh/docker-rust
a Dockerfile provides rust environemtn on ubuntu linux
eldesh/LMLML
a library for multi-byte string manipulation for StandardML
eldesh/macropy
Macros in Python: quasiquotes, case classes, LINQ and more!
eldesh/mlkit
Standard ML Compiler and Toolkit
eldesh/ostree
Operating system and container binary deployment and upgrades
eldesh/pict
Pairwise Independent Combinatorial Tool
eldesh/SMLFormat
eldesh/smlsharp
SML# compiler
eldesh/SMLUnit
unit testing framework for StandardML and SML#
eldesh/wetty
Terminal in browser over http/https. (Ajaxterm/Anyterm alternative, but much better)
eldesh/zpm-repo
A community-maintained repository of zig packages