Data

Tools

Indexes

Applications

Experiments

Awesome

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

Projects in Awesome Lists by minoki

A curated list of projects in awesome lists by minoki .

https://github.com/minoki/LunarML

The Standard ML compiler that produces Lua/JavaScript

lua standard-ml transpiler

Last synced: 21 Nov 2025

https://github.com/minoki/lunarml

The Standard ML compiler that produces Lua/JavaScript

lua standard-ml transpiler

Last synced: 09 Apr 2025

https://github.com/minoki/inputsourceselector

A utility program to manipulate Input Sources on Mac OS X.

Last synced: 14 Jun 2025

https://github.com/minoki/purescript-tsd-gen

TypeScript Declaration File (.d.ts) generator for PureScript

purescript typescript

Last synced: 01 Aug 2025

https://github.com/minoki/cluttex

Process LaTeX documents without cluttering your working directory

latex tex

Last synced: 10 Jul 2025

https://github.com/minoki/pandoc-aozora-ruby

青空文庫風のルビを解釈するPandoc filterです

Last synced: 01 Mar 2026

https://github.com/minoki/rounded-hw

Directed rounding and interval arithmetics with builtin floating types

haskell

Last synced: 10 Jul 2025

https://github.com/minoki/luaexif

Lua binding for libexif

Last synced: 10 Jul 2025

https://github.com/minoki/ghc-docker

Dockerfile(s) for GHC

Last synced: 03 Oct 2025

https://github.com/minoki/algebraic-num-example

「代数的数を作る 多項式の根と因数分解のアルゴリズム」のサンプルコード

Last synced: 10 Jul 2025

https://github.com/minoki/unboxing-vector

A newtype-friendly wrapper for Data.Vector.Unboxed

haskell

Last synced: 09 Apr 2025

https://github.com/minoki/lobjc

A bridge between Lua and Objective-C

Last synced: 08 Jul 2025

https://github.com/minoki/haskell-floating-point

Haskell libraries for floating point numbers (fp-ieee and rounded-hw)

floating-point haskell

Last synced: 10 Jul 2025

https://github.com/minoki/haskell-cpu-features

A Haskell library to detect CPU features

cpuid haskell

Last synced: 01 Jul 2025

https://github.com/minoki/min-caml-hs

MinCaml implementation in Haskell

Last synced: 13 Apr 2025

https://github.com/minoki/lambdaquest

An implementation of System F, System Fsub (F_{<:}) and Finter (F_∧)

haskell lambda-calculus type-system

Last synced: 13 Apr 2025

https://github.com/minoki/yurumath

ゆるい LaTeX数式 → MathML 変換器（になる予定）

Last synced: 15 Feb 2026

https://github.com/minoki/my-atcoder-solutions

AtCoderのオレオレ解答集（主にHaskell） by @mod_poppo

atcoder-solutions

Last synced: 10 Jul 2025

https://github.com/minoki/javascript-limits

Limits of JavaScript

Last synced: 14 Mar 2025

https://github.com/minoki/icfpc2006

My solutions to ICFP Programming Contest 2006 "The Cult of the Bound Variable", including JITting VM for the Universal Machine

icfp2006

Last synced: 20 Aug 2025

https://github.com/minoki/fibonacci-hs

Fibonnacci sequence in Haskell

Last synced: 10 Oct 2025

https://github.com/minoki/sml-toml

TOML parser for Standard ML

Last synced: 02 Jan 2026

https://github.com/minoki/filesystemwatch-test

Test programs for watching file changes

Last synced: 14 Mar 2025

https://github.com/minoki/rxpattern

A Haxe library to build regular expression patterns

Last synced: 16 Feb 2026

https://github.com/minoki/algebraic-real-article

週刊 代数的実数を作る

Last synced: 31 Jul 2025

https://github.com/minoki/singularity

A web page that demonstrates how complex integrals work

Last synced: 24 Jun 2025

https://github.com/minoki/settextencoding

A utility to set text file encoding (com.apple.TextEncoding attribute) on Mac OS X

Last synced: 14 Mar 2025

https://github.com/minoki/hs-inline-asm-test

Compare several ways to access certain CPU instructions from Haskell

Last synced: 19 Mar 2026

https://github.com/minoki/ks-material

計算数学用 Haskell入門

Last synced: 06 Jul 2025

https://github.com/minoki/jstrans

Translates extended-JavaScript code into ordinary one

Last synced: 14 Mar 2025

https://github.com/minoki/zenn

https://zenn.dev/mod_poppo

Last synced: 02 Jan 2026

https://github.com/minoki/implementing-tex-lang-code

「作ってわかるTeX言語」サンプルコード

Last synced: 01 Jul 2025

https://github.com/minoki/lua-ext-wasmer

Wasmer binding for Lua

Last synced: 14 Mar 2025

https://github.com/minoki/haskell-type-level-code

「Haskellでの型レベルプログラミング」サンプルコード

Last synced: 08 Oct 2025

https://github.com/minoki/minoki

Last synced: 28 Jan 2026

https://github.com/minoki/brainfuck-aarch64

Brainfuck compiler for AArch64

Last synced: 19 Jul 2025

https://github.com/minoki/better_ut-mate

UT-mateの使い勝手を改善するGreasemonkeyスクリプト & Chrome extension

Last synced: 13 Jul 2025

https://github.com/minoki/blas-test

Last synced: 21 Jun 2025

https://github.com/minoki/messagetex

Last synced: 14 Mar 2025

https://github.com/minoki/typical-dp-contest-t-fibonacci

My solution to https://tdpc.contest.atcoder.jp/tasks/tdpc_fibonacci

Last synced: 14 Mar 2025

https://github.com/minoki/polestar

Last synced: 14 Mar 2025

https://github.com/minoki/ks-slide

計算数学TA小話スライド

Last synced: 02 Jan 2026

https://github.com/minoki/dotfiles

Last synced: 14 Mar 2025

https://github.com/minoki/intermezzo

Last synced: 04 Feb 2026

https://github.com/minoki/rtd-tutorial

Last synced: 23 Apr 2025

https://github.com/minoki/damepo-latex

An incomplete implementation of LaTeX expansion/execution processor

Last synced: 22 Feb 2026

https://github.com/minoki/keitaisdeditor

携帯電話のSDカードのファイルをMacから操作するためのアプリケーション

Last synced: 27 Oct 2025

https://github.com/minoki/toy-machine

Last synced: 31 Jan 2026

https://github.com/minoki/qiita

Last synced: 12 Feb 2026