KeenS/read_sf KeenS/read_sf

  • Stars
    star
    1
  • Language Coq
  • Created over 9 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
KeenS/read_sf
github

KeenS

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

webml

A Standard ML Compiler for the Web
Rust
373
star
2

whitelie

A self hosted whitespace compiler
32
star
3

zenekindarl

A fast template engine for Common Lisp
Common Lisp
30
star
4

cargo-pack-docker

a cargo subcommand to package your application into a docker image
Rust
19
star
5

transaction-rs

The transaction abstraction library and its executors for rust
Rust
17
star
6

kappaLisp

SKK Lisp intepreter
Rust
15
star
7

stylefmt.el

cssfmt wrapper for emacs,which is a gofmt like code formatter
Emacs Lisp
12
star
8

chema

generate JSON Schema from a lightweight DSL
Rust
11
star
9

rustlisp

a type level lisp interpreter on Rust's type system
Rust
11
star
10

WebAssembler-rs

An in memory wasm assembler for Rust
Rust
10
star
11

http_server

Rust
8
star
12

SKK_JISYO.wiktionary

Rust
8
star
13

cl-fast-cont

faster partial contiuation library of common lisp
Common Lisp
8
star
14

gtk-examples

Rust
6
star
15

satysfi-rejit

PoC of compiling regex using multi-stage programming
6
star
16

KeenS.github.io

HTML
6
star
17

s7p

sexp version of s6p; a toy SSP.
Clojure
6
star
18

www-authenticate

missing HTTP WWW-Authenticate header parser/printer for hyper 0.10.x
Rust
6
star
19

igaguri

my toy shell written in Rust
Rust
5
star
20

onigmo-rs

Rust binding and Rusty API of Onigmo, regexp engine
Rust
5
star
21

b11d

A toy DSP
Clojure
4
star
22

scala-lisp

a type level lisp intepreter
Scala
4
star
23

sql-drill.el

apache drill suppor for SQL-mode of emacs
Emacs Lisp
4
star
24

epoll-chat

Rust
4
star
25

io-uring-write-file

Rust
3
star
26

pattern-match-compile

Rust
3
star
27

sheltar

A tarball based incremental backup tool written in B shell script.
Shell
3
star
28

dot.files

my configuration files other than .emacs.d
Python
3
star
29

dot.emacs.d

my emacs configuration
Emacs Lisp
3
star
30

idris-deriving

deriving facility for Idris
Idris
3
star
31

smljit

A JIT library for SML#
Standard ML
3
star
32

lisp_alien_icons

lisp alien icons
Shell
2
star
33

cargo-pack

An infrastructure library for `cargo-pack`ers.
Rust
2
star
34

japanese

Rust
2
star
35

pygments.formatters.satysfi

Python
2
star
36

wgpu-compute-sample

Rust
2
star
37

file_logger

a logger library for rust that logs to a file.
Rust
2
star
38

wgsl-mode.el

An emacs major mode for WebGPU Shadring Language
Emacs Lisp
2
star
39

calc

Rust
2
star
40

interp

C
2
star
41

actix-web-condition-middleware

conditionally enable actix middleware
Rust
2
star
42

structenv

Rust
2
star
43

db

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

RaspPi

LED Blinking by Rust
Rust
1
star
45

zenn.dev

1
star
46

shelldav

A WebDAV CLI
Shell
1
star
47

idris-anagram

Idris
1
star
48

docker-password-aya

Rust
1
star
49

wgpu-wgsl-learner

Rust
1
star
50

iron_inspect

Rust
1
star
51

shttp

an http server written in B Shell Script
Shell
1
star
52

avlset

ATS
1
star
53

opencl-fizzbuzz

GPU accelerated fizzbuzz in OpenCL
C
1
star
54

mirah_sample_gradle

sample mirah project using gradle
Mirah
1
star