kirillfx's starred repositories

idris-ct

formally verified category theory library

Language:IdrisLicense:AGPL-3.0Stargazers:253Issues:0Issues:0

awesome-dotnet-core

:honeybee: A collection of awesome .NET core libraries, tools, frameworks and software

Language:C#Stargazers:19603Issues:0Issues:0

awesome-dotnet

A collection of awesome .NET libraries, tools, frameworks and software

License:CC0-1.0Stargazers:18750Issues:0Issues:0

gitignore

A collection of useful .gitignore templates

License:CC0-1.0Stargazers:159808Issues:0Issues:0

awesome-modern-cpp

A collection of resources on modern C++

Language:HTMLStargazers:11507Issues:0Issues:0

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXLicense:NOASSERTIONStargazers:10848Issues:0Issues:0

esp32-examples

Handful of examples for the ESP32 wifi/bluetooth microcontroller

Language:C++License:Apache-2.0Stargazers:37Issues:0Issues:0

micropython-esp32

Old port of MicroPython to the ESP32 -- new port is at https://github.com/micropython/micropython

Language:CLicense:MITStargazers:669Issues:0Issues:0

elm-charts

Create SVG charts in Elm.

Language:ElmLicense:BSD-3-ClauseStargazers:698Issues:0Issues:0

haskell

A curated list of awesome things related to Haskell.

Language:HaskellStargazers:280Issues:0Issues:0

Idris-dev

A Dependently Typed Functional Programming Language

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

FP-Course-ITMO

Slides and other materials for functional programming lectures ITMO university

Language:HaskellStargazers:611Issues:0Issues:0

awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Language:HaskellStargazers:3035Issues:0Issues:0

haskell

Haskell bindings for TensorFlow

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

hyper-haskell

The strongly hyped Haskell interpreter.

Language:JavaScriptLicense:NOASSERTIONStargazers:359Issues:0Issues:0

post-rfc

Blog post previews in need of peer review

License:CC-BY-4.0Stargazers:2190Issues:0Issues:0

HaskellResources

Compilation of useful resources for learning Haskell

Stargazers:115Issues:0Issues:0

awesome-machine-learning

A curated list of awesome Machine Learning frameworks, libraries and software.

Language:PythonLicense:NOASSERTIONStargazers:64502Issues:0Issues:0

nix-config

My local Nix configuration

Language:Emacs LispStargazers:427Issues:0Issues:0

intro_to_parsing

Introduction to parsing with Haskell and Parsec

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

Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

Language:Jupyter NotebookLicense:MITStargazers:26523Issues:0Issues:0

emacs-haskell-tutorial

Tutorial on setting up Emacs to do Haskell programming

Language:Emacs LispStargazers:690Issues:0Issues:0

nupic.studio

NuPIC Studio is a powerful all­-in-­one tool that allows users create a HTM neural network from scratch, train it, collect statistics, and share it among the members of the community.

Language:PythonLicense:GPL-2.0Stargazers:95Issues:0Issues:0

lazyflow

lazy parallel ondemand zero copy numpy array data flows with caching and dirty propagation

Language:PythonLicense:NOASSERTIONStargazers:77Issues:0Issues:0

obsub

Small python module that implements the observer pattern via a decorator.

Language:PythonLicense:NOASSERTIONStargazers:12Issues:0Issues:0

gevent

Coroutine-based concurrency library for Python

Language:PythonLicense:NOASSERTIONStargazers:6194Issues:0Issues:0