pintjuk

KTH-Royal Institute of TechnologySweden

Pinned Repositories

.emacs.d
my emacs config
Language:Emacs Lisp0 0 00
ASCII-Game-Engine
Intro course to computer science project. A 2d ascii game engine.
Language:Java1 0 40
ATM-Exercise
Uni asigment to wright an ATM server and Client
Language:Go0 0 00
awesome-theorem-proving
Rerousces and cool papers on theorem proving, formal varification, and logic
0 1 00
FAAS
Functions as a service platform
Language:Shell00
kth-on-rpi2
I contributed by implementing multicore support
Language:C0 1 00
Kvasir
Language:Standard ML2 1 00
OS-LAB
Language:C1 1 00
PlayOnRegex
HOL course project
Language:Standard ML0 2 00
Punkt0-Compiler
Compiles Punkt0 (a subset of scala) to bytecode runable in the JVM.
Language:Scala1 1 00

pintjuk's Repositories

pintjuk/Kvasir
Language:Standard ML2 1 00
pintjuk/Punkt0-Compiler
Compiles Punkt0 (a subset of scala) to bytecode runable in the JVM.
Language:Scala1 1 00
pintjuk/.emacs.d
my emacs config
Language:Emacs Lisp0 0 00
pintjuk/ATM-Exercise
Uni asigment to wright an ATM server and Client
Language:Go0 0 00
pintjuk/awesome-theorem-proving
Rerousces and cool papers on theorem proving, formal varification, and logic
0 1 00
pintjuk/FAAS
Functions as a service platform
Language:Shell00
pintjuk/action-push-to-slite
pintjuk/blog
Language:CSS1 0
pintjuk/dotfiles
dotfiles
Language:Lua1 0
pintjuk/filemage-client-go
Go client for filemage api
Language:HCL
pintjuk/FimFictionAPI
Language:Java0 0
pintjuk/French-Grammar
notes on french grammar
pintjuk/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:JavaScript
pintjuk/gomockutils
Language:Go
pintjuk/gowsdl
WSDL2Go code generation as well as its SOAP proxy
Language:Go0 0
pintjuk/habit-tracker
Language:HTML
pintjuk/HOL
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
Language:Standard ML0 0
pintjuk/LocationBasedAPI
Language:Go1 0
pintjuk/parabox
parabox
Language:Python1 0
pintjuk/pintjuk.github.io
Language:HTML1 0
pintjuk/privatecloud
pintjuk/RandString
Language:Go0 0
pintjuk/react-snipets
Language:TypeScript
pintjuk/Report
Language:TeX0 0
pintjuk/routemaster
Language:Go
pintjuk/semantic2
Language:Prolog0 0
pintjuk/softbody.py
soft body simulation in python
Language:Python
pintjuk/ssh-copilot
Proof of concept for an ssh proxy that requires review of at least one second operator to execute dangerous commands on critical systems
Language:Go
pintjuk/terraform-provider-filemage
A terraform provider for filemage sftp server
Language:Go0 0
pintjuk/version-reader
Reads a version file, outputs what it has read
Language:JavaScript0 0