~remexre

Minneapolis

https://remexre.xyz

Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering

stahl

A programming language and operating system.

whgvah

We Have GraalVM At Home

furing

A Forth implementation using io_uring.

lemonbot

An IRC bot in Haskell, using algebraic effects.

Activity

b23e537 Adds push-enter machine.

~remexre pushed to ~remexre/stahl git

6 days ago via stahl

a3465fa Adds $ form to explicitly specify application.

~remexre pushed to ~remexre/stahl git

6 days ago via stahl

1d7f2a0 Printing improvements, tuple form.

~remexre pushed to ~remexre/stahl git

6 days ago via stahl

39f06a1 More proof work.

~remexre pushed to ~remexre/stahl git

7 days ago via stahl

234a32f Experiment in ZAM-style push-enter machines.

~remexre pushed to ~remexre/stahl git

7 days ago via stahl

1315219 Fixes warning from NYI.

~remexre pushed to ~remexre/stahl git

7 days ago via stahl

5a84739 Widening out expression parsing.

~remexre pushed to ~remexre/stahl git

7 days ago via stahl

888bef4 Conversion to ASTs.

~remexre pushed to ~remexre/stahl git

7 days ago via stahl

e212981 Remove debugging, fix a TODO.

~remexre pushed to ~remexre/stahl git

10 days ago via stahl

727fb24 Refactors keywords to not be symbols.

~remexre pushed to ~remexre/stahl git

10 days ago via stahl

c5c9eca Cleans up Debug for modules.

~remexre pushed to ~remexre/stahl git

10 days ago via stahl

bd357ca Module system works!

~remexre pushed to ~remexre/stahl git

10 days ago via stahl

6ec662c Start of proper package loading.

~remexre pushed to ~remexre/stahl git

11 days ago via stahl

399910f Some cleanup of symbols.

~remexre pushed to ~remexre/stahl git

11 days ago via stahl

2eca384 Adds real error type, start of package loading.

~remexre pushed to ~remexre/stahl git

11 days ago via stahl
1 / 20