Pinned Repositories
kotlin
The Kotlin Programming Language.
check-recogniser
clang_navigate
Navigating C code using clang API. (AU devdays project)
cv
geometry-kirkpatrick
Homework for computational geometry - implementation of Kirkpatrick triangulation refinement algorithm.
lua-in-rust
poisson-reconstruction
Poisson surface reconstruction - http://www.cs.jhu.edu/~misha/Code/PoissonRecon/Version5.71/ (just to play with the code)
projedi.github.io
a.k.a https://blog.ashabalin.me
qlldb
Soon to be cross-platform UI for lldb in Qt.
type-inference-rank2
Implementation of Kfoury, Wells '93 type inference algorithm for rank-2 System F. Link to the original paper http://www.macs.hw.ac.uk/~jbw/papers/#Kfo+Wel:LFP-1994
projedi's Repositories
projedi/qlldb
Soon to be cross-platform UI for lldb in Qt.
projedi/Idris-dev
A Dependently Typed Functional Programming Language
projedi/jonprl-playground
projedi/cv
projedi/lua-in-rust
projedi/projedi.github.io
a.k.a https://blog.ashabalin.me
projedi/capnproto-rust
Cap'n Proto for Rust
projedi/colorscheme
projedi/dbus-idris
projedi/deprecated-blog
Legacy hakyll-powered blog. Moved to https://github.com/projedi/projedi.github.io
projedi/DT2022
Dependent types 2022
projedi/equality-in-type-theory
projedi/fp-mooc
projedi/gs-extensions-drop-down-terminal
Drop Down Terminal extension for the Gnome Shell
projedi/haskell-mvm
An exercise in implementing JIT. Based on https://code.google.com/p/mathvm/
projedi/highlighting-kate
A syntax highlighting library in Haskell, based on Kate syntax definitions
projedi/idris-playground
projedi/kotlin-native
Kotlin/Native infrastructure
projedi/ktor
Framework for quickly creating connected applications in Kotlin with minimal effort
projedi/lldb.nvim
Debugger integration with a focus on ease-of-use.
projedi/minix
Fork of minix3 at 3.3.0
projedi/nixpkgs
Nix Packages collection
projedi/nvim-colors-solarized
precision colorscheme for the vim text editor
projedi/OsmAnd
OsmAnd
projedi/philosophy-essay
projedi/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
projedi/sudoku-solver
projedi/vim-altr
Vim plugin: Switch to the missing file without interaction
projedi/vim-gitgutter
A Vim plugin which shows a git diff in the gutter (sign column) and stages/reverts hunks.
projedi/vim-searchindex
vim-searchindex: display number of search matches & index of a current match