A Swift implementation of Mergeable Replicated Data Types (MRDTs).

Objective-C & Swift Runtime Viewer for macOS and iOS

💻 Resources for leading fantastic teams of software engineers

Swift Secure Remote Password

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

More dependencies for `swift-dependencies`

Straightforward, type-safe argument parsing for Swift

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

Introspect underlying UIKit/AppKit components from SwiftUI

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

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

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

HaskellX 2019 Nix/Haskell Workshop Slides

Pitchfork is a Set of C++ Project Conventions

A dependently typed programming language, a successor to Idris

Parsing, analyzing, and comparing source code across many languages

A framework for building native applications using React

A Dependently Typed Functional Programming Language

Proposed compiler and language changes for GHC and GHC/Haskell

Fork of official GHC repository.

⚡ A Fast, Extensible Progress Bar for Python and CLI

Julia embedded in Haskell

Tensors and neural networks in Haskell

a way to develop software with Nix

Presentations at the Tokyo Nixos Meetup

Shake build system

A prototype successor to Idris

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

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

Material for the Nix Workshop at Haskell eXchange 2017