8000 pixilcode (Brendon Bown) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View pixilcode's full-sized avatar
13 followers · 13 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report pixilcode

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
pixilcode/README.md

⚙️ Technologies ⚙️

  • Rust
  • Ocaml
  • Typescript/JavaScript
  • HTML/CSS
  • Linux/Bash
  • Git

🔎 Interests 🔎

  • Programming language design
  • UI/UX
  • Web design
  • Cybersecurity

🧭 Experience 🧭

  • Researching left-recursive, ambiguous parsers at BYU
  • Cleaning up tech debt and helping migrate to encrypted data at Lucid Software
  • Building web pages and APIs at BYU Office of IT
  • Migrating authentication protocols at BYU Office of IT

Pinned Loading

  1. tego-lang tego-lang Public

    A dynamically-typed functional programming language with linked lists as first class members, written in Rust

    Rust 2

  2. tego-type-checker tego-type-checker Public

    Type checking for tego, implemented in Coq

    Coq

  3. aes-implementation-rs aes-implementation-rs Public

    An implementation of AES encryption according to the spec, written in Rust

    Rust

  4. fpp-personal-parsers fpp-personal-parsers Public

    An implementation of the fixed-point parser framework, along with some example parsers

    OCaml

  5. research.texttotypes.com research.texttotypes.com Public

    A blog for documenting assorted research thoughts and discoveries

0