Minneapolis
Interests: Programming Languages, Computer Security, Formal Methods, Software Engineering
A general-purpose programming language that aspires to have support for attribute grammars, managed effects, and efficient pure functional programming.
An alternative packaging for Common Lisp packages in Nix.
A programming language and operating system.
A Forth implementation using io_uring.
An ash::EntryCustom that directly links to libvulkan.so.
b5cd7cb Prevents unification from introducing mroe CastDicts, CastTys, or FamilyApps.
~remexre pushed to ~remexre/sylvan git
34265a5 Ensure constraints that are mentioned in the where clause of an impl are available to its methods.
~remexre pushed to ~remexre/sylvan git
bd4824c Adds explicit arguments to AxiomImpl and adds the definition of ClassGetBody.
~remexre pushed to ~remexre/sylvan git
5f33124 Declares EffectsCompatible builtin.
~remexre pushed to ~remexre/sylvan git
e527c2a Adds a notion of effect compatibility, HasField solving, and fixes method elaboration.
~remexre pushed to ~remexre/sylvan git
3295c5d Watch the bin and parser directories.
~remexre pushed to ~remexre/sylvan git
bc66bda Adds debug logging for evaluation.
~remexre pushed to ~remexre/sylvan git
35a7052 Split type applications and lambdas to their own expr, since they can be erased.
~remexre pushed to ~remexre/sylvan git
9174814 Rename Ast to Builtins, normalize opens.
~remexre pushed to ~remexre/sylvan git
fd05366 Add -I as a synonym for --srcdir, document both in --help, slightly tweak their semantics.
~remexre pushed to ~remexre/sylvan git
a623eae Adds axioms and solver for HasTupleComponent.
~remexre pushed to ~remexre/sylvan git