Skip to content
Avatar
766 followers · 10 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • Pro
Block or Report

Block or report VictorTaelin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. Kindelia/HVM Public

    A massively parallel, optimal functional runtime in Rust

    Rust 3.4k 79

  2. Kindelia/Kind Public

    A modern proof language

    JavaScript 2.2k 88

  3. WebMonkeys Public

    Massively parallel GPU programming on JavaScript, simple and clean.

    JavaScript 1.2k 57

  4. Symmetric-Interaction-Calculus Public

    A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

    Rust 353 16

  5. Cedille-Core Public

    A minimal proof language.

    JavaScript 178 10

  6. UrnaCripto Public

    Referendos criptograficamente incorruptíveis.

    JavaScript 39 2

1,309 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

February 2022

Created 57 commits in 2 repositories

Created an issue in Kindelia/HVM that received 3 comments

Thread-safe synchronization of dup-related rewrite rules

The following program: (Sum Nil ) = 0 (Sum (Cons x xs)) = (+ x (Sum xs)) (Mul Nil ) = 1 (Mul (Cons x xs)) = (* x (Mul xs)) (Main x) = let xs = (Con…

3 comments

Seeing something unexpected? Take a look at the GitHub profile guide.