penberg / taylor

Related projects: ⓘ

• jspahrsummers / ObjectiveHaskell
  Tools for making it easier to integrate Haskell and Objective-C.
  ☆92Updated 11 years ago
• antitypical / Manifold
  An implementation of a dependently-typed intermediate language used by Tesseract.
  ☆30Updated 8 years ago
• f-dz-v / SwiftSTM
  Haskell-like STM for Swift
  ☆45Updated 8 years ago
• typelift / Aquifer
  Functional streaming abstractions in Swift
  ☆72Updated 7 years ago
• typelift / Valence
  Abstract Binding Trees
  ☆16Updated 8 years ago
• antitypical / TesseractCore
  Tesseract’s evaluation and type system.
  ☆30Updated 9 years ago
• bencochran / KaleidoscopeLang
  ☆15Updated 8 years ago
• mxswd / swift-gen
  ☆17Updated this week
• typelift / Alchemy
  Declarative Binary Serialization for Swift Structures
  ☆47Updated 6 years ago
• typelift / Algebra
  Abstract Algebraic Structures in Swift
  ☆53Updated 5 years ago
• typelift / Tyro
  DEPRECATED Functional JSON parsing and encoding
  ☆45Updated 7 years ago
• kylef-archive / GoReactive
  Go library for Functional Reactive Programming, a library for representing and consuming asyncronous data streams with Observables
  ☆14Updated 9 years ago
• paulyoung / Newtype
  An approximation of newtypes in Swift.
  ☆13Updated 6 years ago
• lazytype / FingerTree
  Implementation of a generic 2-3 finger tree in Swift based on the Haskell implementation demonstrated in http://andrew.gibiansky.com/blog…
  ☆11Updated 5 years ago
• robrix / Memo
  Swift µframework of Memo, a lazily memoized value.
  ☆45Updated 8 years ago
• CodaFi / Presentations
  ☆20Updated 6 years ago
• jakerockland / Swisp
  A simple Scheme (Lisp dialect) interpreter written in Swift.
  ☆45Updated 5 years ago
• astashov / persistent.objc
  Persistent data structures in Objective-C
  ☆114Updated 9 years ago
• Swift-PM / Swift.PM-Site
  An unofficial registry of Swift packages
  ☆11Updated 8 years ago
• hlian / jiffy
  Parser combinators, for Swift
  ☆65Updated 8 years ago
• jspahrsummers / ScrumBut
  Scrum, but with GitHub Issues (experimental)
  ☆16Updated 9 years ago
• CodaFi / functional-swift-style-guide
  Style and Conventions for Functional Swift Projects
  ☆38Updated 9 years ago
• jspahrsummers / correct-behavior-through-type-safety
  Talk about using types to prove correctness
  ☆15Updated 9 years ago
• robrix / Traversal
  Enumeration & iteration of collections in Swift.
  ☆58Updated 9 years ago
• Stiivi / ParserCombinator
  Simple ParserCombinator framework for Swift
  ☆13Updated 6 years ago
• bakkenbaeck / Sweet
  A collection of common small boilerplate in Swift
  ☆10Updated 8 years ago
• momentumworks / swift-elm
  ☆110Updated 4 years ago
• eerolanguage / clang
  This was the working repo for Eero changes to clang. Please build using llvm from this project. See eerolanguage/eero for example code, i…
  ☆163Updated 10 years ago
• dirk / hummingbird
  Experimental language
  ☆54Updated 10 months ago
• alloy / clang-compilation-database-tool
  Tool that can be used to generate Clang Compilation DBs from Xcode.
  ☆29Updated 8 years ago