Pinned Repositories
AoC
Solution to Advent of Code
Asgard
Is there anything more embarrassing than sailing into battle with half-finished figureheads? -Loki
BlogGen
Simple Blog Generation tool using a custom Markup language
Chainy-Duke-Silver
codecrafters-bittorrent-rust
HsPropspec
Release with confidence, state-of-the-art property testing for Haskell.
Minerva
A simple Java Data-Base Engine.
Neo-LirtenHub
A microservices implementation of the LirtenHub platform
semantic
Parsing, analyzing, and comparing source code across many languages
z3
The Z3 Theorem Prover
Ote-Leo's Repositories
Ote-Leo/AoC
Solution to Advent of Code
Ote-Leo/Asgard
Is there anything more embarrassing than sailing into battle with half-finished figureheads? -Loki
Ote-Leo/BlogGen
Simple Blog Generation tool using a custom Markup language
Ote-Leo/Chainy-Duke-Silver
Ote-Leo/codecrafters-bittorrent-rust
Ote-Leo/dotext
Simple Document File Text Extraction Library for Rust
Ote-Leo/Guc-Courses
Ote-Leo/HsPropspec
Release with confidence, state-of-the-art property testing for Haskell.
Ote-Leo/IoT-Seminar
A report covering localization technologies
Ote-Leo/Minerva
A simple Java Data-Base Engine.
Ote-Leo/Neo-LirtenHub
A microservices implementation of the LirtenHub platform
Ote-Leo/Ote_GUC_Portal
Ote-Leo/semantic
Parsing, analyzing, and comparing source code across many languages
Ote-Leo/z3
The Z3 Theorem Prover
Ote-Leo/codecrafters-dns-server-rust
Ote-Leo/codecrafters-grep-rust
Ote-Leo/FriedFish
Ote-Leo/glassful
Rust-like syntax for OpenGL Shading Language
Ote-Leo/intel-mkl-src
Redistribute Intel MKL as a crate
Ote-Leo/LuaSnip
Snippet Engine for Neovim written in Lua.
Ote-Leo/md_frame
Ote-Leo/ocl
OpenCL for Rust
Ote-Leo/py_c_extension
Ote-Leo/raddebugger
A native, user-mode, multi-process, graphical debugger.
Ote-Leo/rust-stemmers
A rust implementation of some popular snowball stemming algorithms
Ote-Leo/Rusticles
Ote-Leo/snowball
Snowball compiler and stemming algorithms
Ote-Leo/tantivy-cli
Ote-Leo/Windle