~remexre

Minneapolis

https://remexre.com

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

sylvan

A general-purpose programming language that aspires to have support for attribute grammars, managed effects, and efficient pure functional programming.

clnix

An alternative packaging for Common Lisp packages in Nix.

stahl

A programming language and operating system.

furing

A Forth implementation using io_uring.

ash-direct-entry

An ash::EntryCustom that directly links to libvulkan.so.

Activity

bfefdbd Fix tree-sitter grammar parsing of matches.

~remexre pushed to ~remexre/sylvan git

5 days ago via sylvan

072129b Actually highlights parsed block comments as comments...

~remexre pushed to ~remexre/sylvan git

5 days ago via sylvan

543ebda Adds nested block comments.

~remexre pushed to ~remexre/sylvan git

5 days ago via sylvan

56b7ab0 Lots of type-checking, culminating in making coerce less built-in.

~remexre pushed to ~remexre/sylvan git

6 days ago via sylvan

6235644 A big chunk of type-checking.

~remexre pushed to ~remexre/sylvan git

11 days ago via sylvan

e37f3bf A big chunk of type-checking.

~remexre pushed to ~remexre/sylvan git

12 days ago via sylvan

57cad95 Move the solver state to the Tyck_solve module.

~remexre pushed to ~remexre/sylvan git

13 days ago via sylvan

135344a Add mli files to all modules in lib/, remove unused code.

~remexre pushed to ~remexre/sylvan git

13 days ago via sylvan

2a9783e Constructor type elaboration.

~remexre pushed to ~remexre/sylvan git

13 days ago via sylvan

d3ee272 Fix some tests.

~remexre pushed to ~remexre/sylvan git

14 days ago via sylvan

7541825 Rename tyck_generate to tyck_common.

~remexre pushed to ~remexre/sylvan git

14 days ago via sylvan

edc953b Remove debug prints.

~remexre pushed to ~remexre/sylvan git

15 days ago via sylvan

1e721eb Remove inappropriate collect_implic -- we're now kind-checking the whole stdlib!

~remexre pushed to ~remexre/sylvan git

15 days ago via sylvan

01c042c Solver fixes, now running into problems because we don't apply the subst everywhere.

~remexre pushed to ~remexre/sylvan git

15 days ago via sylvan

b66b5e2 Fix path to Iosevka.

~remexre pushed to ~remexre/sylvan git

16 days ago via sylvan
1 / 30