Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by eldesh

A curated list of projects in awesome lists by eldesh .

https://github.com/eldesh/iter-zig

A basic iterator library written in Zig

zig-package

Last synced: 26 Jan 2025

https://github.com/eldesh/garrigue_coq_lecture

ジャック・ガリグ先生のCoq講義資料

Last synced: 22 Mar 2025

https://github.com/eldesh/sha2_sml

An implementation SHA2 algorithm in full StandardML

Last synced: 22 Mar 2025

https://github.com/eldesh/inhert.peg

C library for building PEG-based parsers

Last synced: 22 Mar 2025

https://github.com/eldesh/sml_stacktrace

stack trace demo for SML/NJ

Last synced: 22 Mar 2025

https://github.com/eldesh/z3sml

Z3 binding library for StandardML

Last synced: 22 Mar 2025

https://github.com/eldesh/fun_of_programming

example answers

Last synced: 22 Mar 2025

https://github.com/eldesh/basis_concept-zig

A collection of basis concept and their operations

zig-package

Last synced: 22 Mar 2025

https://github.com/eldesh/jefuty

Last synced: 22 Mar 2025

https://github.com/eldesh/semverq

A cli tool for validating, accessing and convert to json.

Last synced: 22 Mar 2025

https://github.com/eldesh/smlnjlib-polyml

Re-ported smlnj-lib for Poly/ML

Last synced: 22 Mar 2025

https://github.com/eldesh/gopts

generic commandline option handling library

Last synced: 22 Mar 2025

https://github.com/eldesh/inhert

General C language Extend Library Inhert

Last synced: 22 Mar 2025

https://github.com/eldesh/aobench_sml

porting aobench to various StandardML implementations.

Last synced: 22 Mar 2025

https://github.com/eldesh/mllex-polyml

MLLex for Poly/ML

Last synced: 22 Mar 2025

https://github.com/eldesh/nanonet

provide thin abstraction of BSD-socket and WinSock2

Last synced: 22 Mar 2025

https://github.com/eldesh/llrbtree-zig

A container library with llrbtree written in Zig.

Last synced: 22 Mar 2025

https://github.com/eldesh/mcc-typeclasses

Münster Curry compiler + TypeClass (mirror)

Last synced: 22 Mar 2025

https://github.com/eldesh/mlyacc-polyml

MLYacc for Poly/ML

Last synced: 22 Mar 2025

https://github.com/eldesh/sha3_sml

An implementation SHA3 algorithm in full StandardML

cryptographic-standards hash sha3 standardml

Last synced: 22 Mar 2025

https://github.com/eldesh/smlnjlib-sharp

porting StandardML utility library smlnjlib for SML#

Last synced: 22 Mar 2025

https://github.com/eldesh/alt-core-elm

An alternative to the core package, it provides general data structures and a set of functions on them

Last synced: 05 Apr 2025

https://github.com/eldesh/linux-media-rs

Linux Media Control API wrapper library in Rust

Last synced: 02 Apr 2025

https://github.com/eldesh/tiv_sml

TypeIndexedValues experimental framework on StandardML proposed by Stephen Weeks

Last synced: 22 Mar 2025

https://github.com/eldesh/uvm_study

study UVM and SystemVerilog

Last synced: 22 Mar 2025

https://github.com/eldesh/aobench_ante

A microbench for floating point calculation in Ante programming language

Last synced: 22 Mar 2025

https://github.com/eldesh/sml_win32

Win32 API binding for StandardML

Last synced: 22 Mar 2025

https://github.com/eldesh/haru_sml

libharu / StandardML binding library

Last synced: 22 Mar 2025

https://github.com/eldesh/coq-refman-ja

Coq reference manual (Japanese Translation)

Last synced: 22 Mar 2025

https://github.com/eldesh/ppjson_polyml

a prettyprinter of json type for Poly/ML interpreter

Last synced: 22 Mar 2025

https://github.com/eldesh/basic_iter.py

Basic functions on sequcences for Python

Last synced: 22 Mar 2025

https://github.com/eldesh/pcre_sharp

SML# / libpcre binding library

Last synced: 22 Mar 2025

https://github.com/eldesh/smbt_sample

A sample project using smbt.

Last synced: 22 Mar 2025

https://github.com/eldesh/fern_sml

shida image generation by StandardML

Last synced: 22 Mar 2025

https://github.com/eldesh/avh-sample

Last synced: 22 Mar 2025

https://github.com/eldesh/docker-coq

Dockerfile for Coq interactive theorem prover

Last synced: 22 Mar 2025

https://github.com/eldesh/colored_printf

extended printf(3) to output colored strings to terminals

Last synced: 22 Mar 2025

https://github.com/eldesh/docker-rust

a Dockerfile provides rust environemtn on ubuntu linux

Last synced: 22 Mar 2025

https://github.com/eldesh/bcm_host_sys

An low level Rust interface to RaspberryPi firmware

Last synced: 22 Mar 2025

https://github.com/eldesh/linux-media-sys

A Rust library wraps of linux/media.h.

Last synced: 13 Mar 2025

https://github.com/eldesh/ghaction-sandbox

Repository for github actions practice

Last synced: 16 May 2025