jagajaga's Stars
ghc/ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
jaspervdj/hakyll
A static website compiler library in Haskell
Frege/frege
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
serso/android-messengerpp
Multi-protocol open source instant messaging client on Android
mbenke/vera
Exploring prover ideas for intuitionistic logic
buger/chromus
Chromus - web music player, reincarnation of Last.fm free music player https://chrome.google.com/extensions/detail/bbncpldmanoknoahidbgmkgobgmhnafh
yesodweb/yesod
A RESTful Haskell web framework built on WAI.
chaoflow/nixos-configurations
sorokin/initd
simple init system
serso/android-calculatorpp
Android Calculator
nvie/vim-rst-tables
Easily create and reformat your RST (reStructuredText) tables as you change cell content.
vim-syntastic/syntastic
Syntax checking hacks for vim
ycm-core/YouCompleteMe
A code-completion engine for Vim
gitlabhq/gitlabhq
GitLab CE Mirror | Please open new issues in our issue tracker on GitLab.com
AntiZapret/antizapret
Список IP-адресов гос-органов для блокировки их на своих серверах в качестве отместки за #говносписок // List of Russian Government's related IP-addresses.
bolknote/SedChess
Шахматы, написанные на языке утилиты sed
easymotion/vim-easymotion
Vim motions on speed!
irungentoo/toxcore
The future of online communications.
philipl/pifs
πfs - the data-free filesystem!
greenrobot/greenDAO
greenDAO is a light & fast ORM solution for Android that maps objects to SQLite databases.
CyanogenMod/android_kernel_sony_msm8x60
mtuomi/SecondReality
Source code and data of Second Reality by Future Crew in 1993
mame/quine-relay
An uroboros program with 100+ programming languages
eagletmt/ghcmod-vim
Happy Haskell programming on Vim, powered by ghc-mod
ohmyzsh/ohmyzsh
🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
lisyarus/assembler
ababo/toy
Simple OS-like program for x86-64 and AArch64
Murtaught/CellAutomaton
It's a cell automaton app written in Qt. I'm not satisfied with this code quality, but I won't do anything to improve it.
sorokin/cppgen
alekseysidorov/vreen
vk.com api Qt wrapper