7-day longest streak
-
cv ★ PINNED
No description.
TeX ★ 0 6y agoExplain → -
check-recogniser ▣
No description.
C++ ★ 10 13y agoExplain → -
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
Haskell ★ 3 12y agoExplain → -
poisson-reconstruction ▣
Poisson surface reconstruction - http://www.cs.jhu.edu/~misha/Code/PoissonRecon/Version5.71/ (just to play with the code)
C++ ★ 3 12y agoExplain → -
geometry-kirkpatrick ▣
Homework for computational geometry - implementation of Kirkpatrick triangulation refinement algorithm.
C++ ★ 2 12y agoExplain → -
qlldb ▣
Soon to be cross-platform UI for lldb in Qt.
C++ ★ 2 10y agoExplain → -
headphone-event ▣
A small service that uses pulseaudio to monitor headphone insert/remove events and execute an action. Currently actions are hardcoded.
C ★ 1 12y agoExplain → -
jonprl-playground ▣
No description.
★ 1 10y agoExplain → -
graphics-hw03 ▣
No description.
C++ ★ 1 12y agoExplain → -
graphics-hw02 ▣
No description.
C++ ★ 1 12y agoExplain → -
clang_navigate ▣
Navigating C code using clang API. (AU devdays project)
C++ ★ 1 12y agoExplain → -
graphics-hw01 ▣
No description.
C++ ★ 1 12y agoExplain → -
videochat ▣
Yeah, this project is dead.
C++ ★ 1 14y agoExplain → -
Idris-dev ⑂ ▣
A Dependently Typed Functional Programming Language
Haskell ★ 1 8y agoExplain → -
projedi.github.io ▣
No description.
SCSS ★ 0 4mo agoExplain → -
lua-in-rust ▣
No description.
C ★ 0 6y agoExplain → -
colorscheme
No description.
JavaScript ★ 0 2y agoExplain → -
stabilization ▣
No description.
C ★ 0 13y agoExplain → -
ktor ⑂
Framework for quickly creating connected applications in Kotlin with minimal effort
★ 0 3y agoExplain → -
capnproto-rust ⑂
Cap'n Proto for Rust
★ 0 3y agoExplain → -
zoom.vim ⑂ ▣
control gui font size with "+" or "-" keys.
VimL ★ 0 11y agoExplain → -
hsmenu ▣
No description.
Haskell ★ 0 11y agoExplain → -
gnome-shell-minimum-workspaces ⑂ ▣
Set a minimum number of dynamic workspaces.
★ 0 11y agoExplain → -
backlightd ▣
Currently a small setuid-root program to change brightness up/down. All config is in the source file. Sometime in the future it might become a dbus-powered daemon monitoring backlight.
C ★ 0 12y agoExplain → -
libpng ▣
Unofficial mirror(in master) of http://git.code.sf.net/p/libpng/code .
C ★ 0 12y agoExplain → -
girara ⑂ ▣
user interface library
★ 0 12y agoExplain → -
zathura ⑂ ▣
a document viewer
★ 0 12y agoExplain → -
osg ⑂ ▣
OpenSceneGraph git mirror
C++ ★ 0 12y agoExplain → -
fluidsynth-hs-complete ▣
(WIP) Complete Haskell bindings to fluidsynth v1.1.6
Haskell ★ 0 12y agoExplain → -
xmobar ⑂ ▣
A minimalistic text-based status bar
Haskell ★ 0 11y agoExplain → -
nasm ▣
Unofficial mirror(in master) of http://repo.or.cz/w/nasm.git
Assembly ★ 0 12y agoExplain → -
vim-gitgutter ⑂ ▣
A Vim plugin which shows a git diff in the gutter (sign column) and stages/reverts hunks.
VimL ★ 0 10y agoExplain → -
Agda-2.3.2.2-haskell-export ▣
Experiment on exporting Agda into Haskell(a la Coq Extraction) based on Agda 2.3.2.2
Haskell ★ 0 12y agoExplain → -
masters-thesis ▣
Experiment on exporting Agda into Haskell(a la Coq extraction) - paper and presentations in Russian and theory scratchpad in English
TeX ★ 0 12y agoExplain → -
vim-altr ⑂ ▣
Vim plugin: Switch to the missing file without interaction
VimL ★ 0 11y agoExplain → -
highlighting-kate ⑂ ▣
A syntax highlighting library in Haskell, based on Kate syntax definitions
Haskell ★ 0 11y agoExplain → -
OpenCTM ⑂ ▣
OpenCTM is a file format, a software library and a tool set for compression of 3D triangle meshes. The geometry is compressed to a fraction of comparable file formats (3DS, STL, COLLADA...), and the format is accessible through a simple, portable API
C ★ 0 12y agoExplain → -
libzip ▣
**DEPRECATED** in favor of the official mirror https://github.com/nih-at/libzip
C ★ 0 12y agoExplain → -
equality-in-type-theory ▣
No description.
TeX ★ 0 10y agoExplain → -
openvrml ▣
Unofficial mirror(in master) of svn repository http://svn.openvrml.org/viewvc/openvrml/ No tags or branches were imported because of some errors.
C++ ★ 0 12y agoExplain → -
libzippp ⑂ ▣
C++ wrapper for libzip
C++ ★ 0 12y agoExplain → -
nixpkgs ⑂ ▣
Nix Packages collection
Nix ★ 0 10y agoExplain → -
antishake ▣
No description.
Java ★ 0 13y agoExplain → -
philosophy-essay ▣
No description.
TeX ★ 0 10y agoExplain → -
fp-mooc ▣
No description.
CSS ★ 0 11y agoExplain → -
idris-playground ▣
No description.
Idris ★ 0 11y agoExplain → -
dbus-idris ▣
No description.
Idris ★ 0 11y agoExplain → -
deprecated-blog ▣
Legacy hakyll-powered blog. Moved to https://github.com/projedi/projedi.github.io
Haskell ★ 0 11y agoExplain → -
cfg-files ▣
See https://github.com/projedi/dotfiles which has superseded this. For keeping /etc too I suggest http://joeyh.name/code/etckeeper/
Haskell ★ 0 12y agoExplain → -
gs-extensions-drop-down-terminal ⑂ ▣
Drop Down Terminal extension for the Gnome Shell
★ 0 11y agoExplain → -
qxmpp-ffmpeg ▣
No description.
C++ ★ 0 13y agoExplain → -
DB ▣
Database Management System project
C++ ★ 0 13y agoExplain → -
sudoku-solver ▣
No description.
Haskell ★ 0 8y agoExplain → -
haskell-mvm ▣
An exercise in implementing JIT. Based on https://code.google.com/p/mathvm/
Haskell ★ 0 7y agoExplain → -
DT2022 ⑂
Dependent types 2022
★ 0 3y agoExplain → -
OsmAnd ⑂
OsmAnd
★ 0 3y agoExplain → -
kotlin-native ⑂
Kotlin/Native infrastructure
★ 0 6y agoExplain → -
rust-clippy ⑂
A bunch of lints to catch common mistakes and improve your Rust code
Rust ★ 0 7y agoExplain → -
minix ⑂
Fork of minix3 at 3.3.0
C ★ 0 7y agoExplain → -
lldb.nvim ⑂
Debugger integration with a focus on ease-of-use.
Python ★ 0 8y agoExplain → -
vim-searchindex ⑂
vim-searchindex: display number of search matches & index of a current match
Vim script ★ 0 9y agoExplain → -
nvim-colors-solarized ⑂
precision colorscheme for the vim text editor
VimL ★ 0 9y agoExplain →
No repos match these filters.