Skip to content
Avatar
🖤
dramming
🖤
dramming
270 followers · 16 following
  • Scarlet Devil Mansion, Gensokyo

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor
Block or Report

Block or report dramforever

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
dramforever/README.md
  • Undergraduate compsci student somewhere.
  • Current interest (long term): Programming languages, logic, type theory
  • Current interest (short term): Formal proofs, hardware design (FPGA stuff)
  • 🖤 dramming, always

Pinned

  1. vscode-ghc-simple Public

    Simple GHC (Haskell) integration for VSCode

    TypeScript 224 17

  2. rust-ds-demo Public

    Rust data structure demos

    Rust 1

  3. clash-with-stack Public

    Stack-based Clash environment

    Haskell 8 2

  4. nix-dram Public

    Nix Flakes with a modified frontend, by dramforever

    Haskell 38 1

376 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to dramforever/config, dramforever/urvirt, dramforever/scirt and 5 other repositories

Contribution activity

April 2022

Opened 1 issue in 1 repository

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