Beast code in Giters

Pyry Jahkola's starred repositories

react-native

A framework for building native applications using React

Language:C++MIT116592 3614 25743

tqdm

:zap: A Fast, Extensible Progress Bar for Python and CLI

Language:PythonNOASSERTION27707 208 983

semantic

Parsing, analyzing, and comparing source code across many languages

Language:Haskell8891 397 270

ReSwift

Unidirectional Data Flow in Swift - Inspired by Redux

Language:SwiftMIT7521 146 251

swiftui-introspect

Introspect underlying UIKit/AppKit components from SwiftUI

Language:SwiftMIT5316 54 173

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION3406 120 2336

swift-argument-parser

Straightforward, type-safe argument parsing for Swift

Language:SwiftApache-2.03234 156 238

swift-crypto

Open-source implementation of a substantial portion of the API of Apple CryptoKit suitable for use on Linux platforms.

Language:CApache-2.01407 34 53

Publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Language:Haskell1219 139 16

pitchfork

Pitchfork is a Set of C++ Project Conventions

Language:C++MIT1043 40 38

hasktorch

Tensors and neural networks in Haskell

Language:HaskellNOASSERTION1031 29 202

haskell-vim-now

One-line Haskell Vim install

Language:ShellMIT988 29 199

Idris2-boot

A dependently typed programming language, a successor to Idris

Language:IdrisNOASSERTION904 61 185

shake

Shake build system

Language:HaskellNOASSERTION760 27 658

BigInt

Arbitrary-precision arithmetic in pure Swift

Language:SwiftMIT750 15 75

combine-schedulers

⏰ A few schedulers that make working with Combine more testable and more versatile.

Language:SwiftMIT678 15 17

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:Python675 131 85

EasyClangComplete

:boom: Robust C/C++ code completion for Sublime Text 3/4

Language:PythonMIT575 22 486

Blodwen

A prototype successor to Idris

Language:IdrisNOASSERTION539 820

nix-example

a way to develop software with Nix

Language:Nix335 17 10

swift-dependencies-additions

More dependencies for `swift-dependencies`

Language:SwiftMIT280 11 16

swiftfiddle-web

SwiftFiddle is an online playground for creating, sharing and embedding Swift fiddles (little Swift programs that run directly in your browser).

Language:JavaScriptMIT190 6 40

alga-paper

A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

Language:TeX187 10 1

appstoreconnect-cli

An easy to use command-line tool for interacting with the Apple AppStore Connect API

Language:SwiftMIT171 18 89

presentations

Presentations at the Tokyo Nixos Meetup

Language:JavaScript58 50

Julio

Julia embedded in Haskell

Language:NixBSD-3-Clause53 3 1

IdrisTddNotes

Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell

Language:HaskellBSD-3-Clause47 100

ghc

Fork of official GHC repository.

Language:HaskellNOASSERTION45 17 223

nix-workshop

Material for the Nix Workshop at Haskell eXchange 2017

Language:ShellMIT21 4 2

haskellx-slides

HaskellX 2019 Nix/Haskell Workshop Slides

Language:Shell100