iwami4438

@iwami4438 · User

GitHub profile ↗ · Compare

0 followers27 repositories

Repositories

iwami4438/v

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

★ 0Forks 0

iwami4438/sl

SL(1): Cure your bad habit of mistyping

★ 0Forks 0

iwami4438/lean4

Lean 4 programming language and theorem prover

★ 0LeanForks 0

iwami4438/temporal-parser

A lexer and parser for ISO 8601, RFC 3339, and IXDTF temporal expressions, built with compiler design principles.

★ 0Forks 0

iwami4438/jscl

A Lisp-to-JavaScript compiler bootstrapped from Common Lisp

★ 0Common LispForks 0

iwami4438/wayang

Apache Wayang is the first cross-platform data processing system.

★ 0JavaForks 0

iwami4438/basilisp

A Clojure-compatible(-ish) Lisp dialect hosted on Python 3 with seamless Python interop

★ 0Forks 0

iwami4438/jank

jank is the native Clojure dialect with seamless C++ interop.

★ 0C++Forks 0

iwami4438/neomacs

NEO Emacs (WIP): GPU powered Emacs written in Rust with a modern display engine. Aiming for modern design & multi-threaded Elisp, 10x performance, zero-pause concurrent GC and 100% Emacs compatibility.

★ 0RustForks 0

iwami4438/abcl

Armed Bear Common Lisp <git+https://github.com/armedbear/abcl/> <--> <svn+https://abcl.org/svn> Bridge

★ 0Forks 0

iwami4438/Carp

A statically typed lisp, without a GC, for real-time applications.

★ 0HaskellForks 0

iwami4438/woo

A fast non-blocking HTTP server on top of libev

★ 0Forks 0

iwami4438/coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

★ 0Forks 0