Pinned Repositories
atom
:atom: The hackable text editor
c2hs
c2hs is a pre-processor for Haskell FFI bindings to C libraries
chainweb-miner
Official mining software for the Kadena Public Blockchain.
folder-watcher-and-app-launcher
Программа ожидает создания pdf-файла и записи в него информации, после чего запускает программу для чтения pdf. Перед прочтением нового pdf-файла программа убивает процесс pdf-читалки.
gentoo-haskell
official gentoo haskell overlay
ghc-lib
The GHC API, decoupled from GHC versions
haskell-dominion
haskell-gnome-keyring
Haskell bindings for libgnome-keyring
haskell-mcint
sudoku
LinuxUser404's Repositories
LinuxUser404/haskell-dominion
LinuxUser404/atom
:atom: The hackable text editor
LinuxUser404/c2hs
c2hs is a pre-processor for Haskell FFI bindings to C libraries
LinuxUser404/chainweb-miner
Official mining software for the Kadena Public Blockchain.
LinuxUser404/folder-watcher-and-app-launcher
Программа ожидает создания pdf-файла и записи в него информации, после чего запускает программу для чтения pdf. Перед прочтением нового pdf-файла программа убивает процесс pdf-читалки.
LinuxUser404/gentoo-haskell
official gentoo haskell overlay
LinuxUser404/ghc-lib
The GHC API, decoupled from GHC versions
LinuxUser404/haskell-gnome-keyring
Haskell bindings for libgnome-keyring
LinuxUser404/haskell-mcint
LinuxUser404/sudoku
LinuxUser404/GPipeFractal
LinuxUser404/hlint
Haskell source code suggestions
LinuxUser404/hs-gsl-random
Haskell bindings to the GSL random number generators and distribution functions
LinuxUser404/learn-physics
A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechanics and electromagnetic theory.
LinuxUser404/MCint
Monte-Carlo integration implementation in C++
LinuxUser404/MCint-OpenCL
Monte-Carlo integration program that uses OpenCL, so it can benefit from using GPGPU for computations
LinuxUser404/opencl
Haskell high-level wrapper for OpenCL
LinuxUser404/Refactoring_Calculator
LinuxUser404/scala-examples
LinuxUser404/smack-glibc
This repository contains modified source code of GNU Standard C library and scripts that allow to verify its correctness with SMACK verification tool.
LinuxUser404/TaxiOptimizer
My Data Engineering project @ Insight Data Science