YBogomolov

YBogomolov's Stars

• microsoft/TypeScript

  TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  Language:TypeScript101k2.1k41.3k12.5k

• ExistentialAudio/BlackHole

  BlackHole is a modern macOS audio loopback driver that allows applications to pass audio to other applications with zero additional latency.

  Language:C15.3k124402596

• hwayne/awesome-cold-showers

  For when people get too hyped up about things

  7.3k2172281

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k631.2k378

• soupi/haskell-study-plan

  An opinionated list of resources for learning Haskell

  87848053

• cohomolo-gy/haskell-resources

  A List of Foundational Haskell Papers

  Language:JavaScript86546571

• i-am-tom/haskell-exercises

  A little course to learn about some of the more obscure GHC extensions.

  Language:Haskell63918396

• kowainik/stan

  🕵️ Haskell STatic ANalyser

  Language:Haskell5711525349

• esrlabs/chipmunk

  log analysis tool

  Language:TypeScript5701399539

• estatico/scala-newtype

  NewTypes for Scala with no runtime overhead

  Language:Scala541124131

• facebookincubator/retrie

  Retrie is a powerful, easy-to-use codemodding tool for Haskell.

  Language:Haskell503254130

• typedefs/typedefs

  Programming language agnostic type construction language based on polynomials.

  Language:Idris3661515018

• statebox/idris-ct

  formally verified category theory library

  Language:Idris258204423

• kitlangton/zio-magic

  Construct ZLayers automagically (w/ helpful compile-time errors)

  Language:Scala25194119

• jdegoes/functional-design

  Exercises for the course 'Functional Design by John A. De Goes

  Language:Scala234222100

• gcanti/parser-ts

  String parser combinators for TypeScript

  Language:TypeScript19372719

• ranjitjhala/sprite-lang

  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

  Language:Haskell1469513

• kowainik/typerep-map

  ⚡️Efficient implementation of Map with types as keys

  Language:Haskell10076018

• llelf/icfp2020-papers

  ICFP 2020 papers. Crowd-sourced

  9213011

• KingoftheHomeless/in-other-words

  A higher-order effect system where the sky's the limit

  Language:Haskell907137

• sdiehl/cabal-edit

  A utility for managing Hackage dependencies and manipulating Cabal files from the command line.

  Language:Haskell74633

• tusharmath/qio

  Language:TypeScript741278

• kutyel/optics.js

  🔭 Lenses, Prisms and Traversals in JavaScript!

  Language:JavaScript524101

• input-output-hk/nothunks

  Language:Haskell47321713

• well-typed/gp-zurihac-2020

  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming

  Language:Haskell447010

• nilehmann/liquid-rust

  Language:Rust38511

• DoctorRyner/sae

  An Idris 2 build tool and a package manager

  Language:Idris28510

• patrickt/configurant

  A Haskell library for loading configuation data from environment variables.

  Language:Haskell1710

• serras/munihac-2020-miso

  Miso @ MuniHac 2020

  Language:Haskell10314

• clayrat/idris-selective

  Selective functors in Idris

  Language:Idris4301