Kosyrev Serge (deepfire)

deepfire

Geek Repo

Location:Moscow, RU

Home Page:https://deepfire.github.io/

Github PK Tool:Github PK Tool


Organizations
input-output-hk
ezoic increase your site revenue

Kosyrev Serge's repositories

Language:Common LispStargazers:24Issues:0Issues:0

holotype

An attempt to reimagine knowledge interaction.

Language:HaskellLicense:AGPL-3.0Stargazers:13Issues:0Issues:0

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:PythonStargazers:1Issues:0Issues:0

aalib

git copy of aalib from https://sourceforge.net/projects/aa-project/

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

aview

git copy of aview from https://sourceforge.net/projects/aa-project/

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:1Issues:0

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

cborg

Binary serialisation in the CBOR format

Language:HaskellStargazers:0Issues:0Issues:0
Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

ekg

Remote monitoring of running processes over HTTP

Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

em

As somewhat minimal, somewhat practical, somewhat sensible Nix-packaged Emacs bundle.

Language:Emacs LispStargazers:0Issues:0Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

generics-sop

Generic Programming using True Sums of Products

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

gtk2hs

GUI library for Haskell based on GTK+

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

lambdacube-compiler

LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

lambdacube-gl

OpenGL 3.3 Core Profile backend for LambdaCube 3D

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HaskellLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

module-98

An implementation of the Haskell 98 module system.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

network-transport-tcp

TCP Realisation of Network.Transport

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Language:ShellStargazers:0Issues:0Issues:0
Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0

test-profiles

A read-only Git copy of the OpenBenchmarking.org test profiles.

Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

test-tlb

Stupid memory latency and TLB tester

License:GPL-2.0Stargazers:0Issues:0Issues:0

typelevel

Haskell library. Useful type level operations (type families and related operators).

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

websockets

A Haskell library for creating WebSocket-capable servers

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0