~jojo

Sweden

https://jo.zone

a person who likes compilers, type theory, computer graphics, and software that keep things simple, like Gemini and QBE.

kyria-keymap

My keymap for the Kyria split keyboard

kapreolo

The Kapreolo Programming Language

huelia

DIY RGB room lighting solution, using ESP32-C3, WS2812/13, & MQTT

microcrisp

Minimal Lisp for scripting in embedded contexts

Carth

A Scheme-looking, purely functional programming language

Activity

f86c520 rename kapo::Type -> kapo::CType (Checked Type)

~jojo pushed to ~jojo/kapreolo git

a month ago via kapreolo

c74b5fd parametric type synonyms

~jojo pushed to ~jojo/kapreolo git

2 months ago via kapreolo

b48ae15 nullary type synonyms

~jojo pushed to ~jojo/kapreolo git

2 months ago via kapreolo

cb5bf2e formatting & add rustfmt.toml

~jojo pushed to ~jojo/kapreolo git

2 months ago via kapreolo

a429963 add cast (truncating + (s/z)extending + reinterpreting)

~jojo pushed to ~jojo/kapreolo git

2 months ago via kapreolo

907f868 limit polytypes (Forall) to just functions (PolyFun)

~jojo pushed to ~jojo/kapreolo git

2 months ago via kapreolo

907f868 limit polytypes (Forall) to just functions (PolyFun)

~jojo pushed to ~jojo/kapreolo git

2 months ago via kapreolo

2e945ed Replace interpreter with cranelift based JIT backend

~jojo pushed to ~jojo/kapreolo git

2 months ago via kapreolo

bb7884c make vwt an actual table & include alignment

~jojo pushed to ~jojo/kapreolo git

2 months ago via kapreolo

0aec7c4 make vwt an actual table & include alignment

~jojo pushed to ~jojo/kapreolo git

2 months ago via kapreolo

43bfa73 jit block params

~jojo pushed to ~jojo/kapreolo git

2 months ago via kapreolo

b071df1 re-impl abase of tuples (construct & access)

~jojo pushed to ~jojo/kapreolo git

2 months ago via kapreolo

a592a53 remove Size & StaticSize in favour of Operand & Const

~jojo pushed to ~jojo/kapreolo git

3 months ago via kapreolo

8d940b0 simplify jit by moving callconv & converge logic to abase

~jojo pushed to ~jojo/kapreolo git

3 months ago via kapreolo

1f2936b conductor: fix latest thing with the mousedown enabling for touch

~jojo pushed to ~jojo/huelia git

3 months ago via huelia
1 / 18