~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

b5cd7cb Prevents unification from introducing mroe CastDicts, CastTys, or FamilyApps.

~remexre pushed to ~remexre/sylvan git

2 days ago via sylvan

8f43d59 HasTupleComponent solving.

~remexre pushed to ~remexre/sylvan git

2 days ago via sylvan

34265a5 Ensure constraints that are mentioned in the where clause of an impl are available to its methods.

~remexre pushed to ~remexre/sylvan git

2 days ago via sylvan

8692716 Adds solver for ClassGetBody.

~remexre pushed to ~remexre/sylvan git

2 days ago via sylvan

bd4824c Adds explicit arguments to AxiomImpl and adds the definition of ClassGetBody.

~remexre pushed to ~remexre/sylvan git

2 days ago via sylvan

5f33124 Declares EffectsCompatible builtin.

~remexre pushed to ~remexre/sylvan git

2 days ago via sylvan

e527c2a Adds a notion of effect compatibility, HasField solving, and fixes method elaboration.

~remexre pushed to ~remexre/sylvan git

2 days ago via sylvan

3295c5d Watch the bin and parser directories.

~remexre pushed to ~remexre/sylvan git

3 days ago via sylvan

bc66bda Adds debug logging for evaluation.

~remexre pushed to ~remexre/sylvan git

3 days ago via sylvan

35a7052 Split type applications and lambdas to their own expr, since they can be erased.

~remexre pushed to ~remexre/sylvan git

3 days ago via sylvan

e3db2f9 Evaluator work.

~remexre pushed to ~remexre/sylvan git

3 days ago via sylvan

9174814 Rename Ast to Builtins, normalize opens.

~remexre pushed to ~remexre/sylvan git

3 days ago via sylvan

fd05366 Add -I as a synonym for --srcdir, document both in --help, slightly tweak their semantics.

~remexre pushed to ~remexre/sylvan git

3 days ago via sylvan

eb11913 More test fixes.

~remexre pushed to ~remexre/sylvan git

3 days ago via sylvan

a623eae Adds axioms and solver for HasTupleComponent.

~remexre pushed to ~remexre/sylvan git

3 days ago via sylvan
1 / 43