Discover @KeenS Open Source projects

κeen (@KeenS)

KeenS

Stars
710
Global Rank 42,318 (Top 2 %)
Followers 453
Following 55
Registered over 11 years ago
Most used languages

Rust
51.9 %

Emacs Lisp
7.7 %

Shell
7.7 %

C
5.8 %

Python
3.8 %

Idris 3.8 %

Common Lisp
3.8 %

Clojure
3.8 %

Coq 1.9 %

Scala
1.9 %

ATS 1.9 %

Standard ML 1.9 %

Mirah 1.9 %

HTML
1.9 %
Location 🇯🇵 Japan
Country Total Rank 970
Country Ranking

ATS 1

Mirah 1

Idris 2

Standard ML 12

Common Lisp
32

Coq 35

Rust
41

Clojure
71

Emacs Lisp
89

Scala
333

HTML
974

Shell
1,025

C
1,524

Python
3,997

webml

A Standard ML Compiler for the Web

whitelie

A self hosted whitespace compiler

zenekindarl

A fast template engine for Common Lisp

cargo-pack-docker

a cargo subcommand to package your application into a docker image

transaction-rs

The transaction abstraction library and its executors for rust

kappaLisp

SKK Lisp intepreter

stylefmt.el

cssfmt wrapper for emacs,which is a gofmt like code formatter

chema

generate JSON Schema from a lightweight DSL

rustlisp

a type level lisp interpreter on Rust's type system

WebAssembler-rs

An in memory wasm assembler for Rust

http_server

SKK_JISYO.wiktionary

cl-fast-cont

faster partial contiuation library of common lisp

gtk-examples

satysfi-rejit

PoC of compiling regex using multi-stage programming

KeenS.github.io

s7p

sexp version of s6p; a toy SSP.

www-authenticate

missing HTTP WWW-Authenticate header parser/printer for hyper 0.10.x

igaguri

my toy shell written in Rust

onigmo-rs

Rust binding and Rusty API of Onigmo, regexp engine

b11d

scala-lisp

a type level lisp intepreter

sql-drill.el

apache drill suppor for SQL-mode of emacs

epoll-chat

io-uring-write-file

pattern-match-compile

sheltar

A tarball based incremental backup tool written in B shell script.

dot.files

my configuration files other than .emacs.d

dot.emacs.d

my emacs configuration

idris-deriving

deriving facility for Idris

smljit

A JIT library for SML#

lisp_alien_icons

lisp alien icons

cargo-pack

An infrastructure library for `cargo-pack`ers.

japanese

pygments.formatters.satysfi

wgpu-compute-sample

file_logger

a logger library for rust that logs to a file.

wgsl-mode.el

An emacs major mode for WebGPU Shadring Language

calc

interp

actix-web-condition-middleware

conditionally enable actix middleware

structenv

db

my leaning code of http://wombat.cc.tsukuba.ac.jp/~furuse/jikken/

RaspPi

LED Blinking by Rust

zenn.dev

shelldav

idris-anagram

docker-password-aya

read_sf

wgpu-wgsl-learner

iron_inspect

shttp

an http server written in B Shell Script

avlset

opencl-fizzbuzz

GPU accelerated fizzbuzz in OpenCL

mirah_sample_gradle

sample mirah project using gradle