joharasmus

.NET/Python/OCaml junior developer interested in all things Programming

Pinned Repositories

botsProject
This project contains bots made for the programme IT-Spåret on Ädelfors Folkhögskola
Language:Python01
modern-hol-light
Modernising the HOL Light theorem prover
Language:OCaml00
MoreFair
Language:Java00
MoreFairStats
Language:C#10
NumberTheoryExperiments
Trivial experiments in number theory, possibly leading to something amusing
Language:C#00
SharpMathLib
A place for explorations in mahematics
Language:C#2 1 00

joharasmus's Repositories

joharasmus/SharpMathLib
A place for explorations in mahematics
Language:C#2 1 00
joharasmus/MoreFairStats
Language:C#10
joharasmus/botsProject
This project contains bots made for the programme IT-Spåret on Ädelfors Folkhögskola
Language:Python01
joharasmus/modern-hol-light
Modernising the HOL Light theorem prover
Language:OCaml00
joharasmus/MoreFair
Language:Java00
joharasmus/NumberTheoryExperiments
Trivial experiments in number theory, possibly leading to something amusing
Language:C#00