pintjuk

Pinned Repositories

• ASCII-Game-Engine

  Intro course to computer science project. A 2d ascii game engine.

  Language:Java1040

• awesome-theorem-proving

  Rerousces and cool papers on theorem proving, formal varification, and logic

  0100

• FAAS

  Functions as a service platform

  Language:Shell00

• go-regex-wasm

  A demo project showcasing how to use Go-based regex functionality in JavaScript via WebAssembly, with a clean API and JSDoc-typed JavaScript library for seamless browser integration.

  Language:JavaScript10

• golang-regex-demo

  A demonstration project showcasing the usage of the @pintjuk/golang-regex package, featuring regex matching with full compatibility with Go's regex syntax

  Language:HTML10

• kth-on-rpi2

  I contributed by implementing multicore support

  Language:C0100

• Kvasir

  Language:Standard ML2100

• OS-LAB

  Language:C1100

• PlayOnRegex

  HOL course project

  Language:Standard ML0200

• Punkt0-Compiler

  Compiles Punkt0 (a subset of scala) to bytecode runable in the JVM.

  Language:Scala1100

pintjuk's Repositories