typelift / Valence

Related projects ⓘ

Alternatives and complementary repositories for Valence

• antitypical / Manifold
  An implementation of a dependently-typed intermediate language used by Tesseract.
  ☆30Updated 8 years ago
• typelift / Alchemy
  Declarative Binary Serialization for Swift Structures
  ☆47Updated 6 years ago
• typelift / Aquifer
  Functional streaming abstractions in Swift
  ☆72Updated 7 years ago
• CodaFi / Presentations
  ☆20Updated 6 years ago
• antitypical / TesseractCore
  Tesseract’s evaluation and type system.
  ☆30Updated 9 years ago
• typelift / Algebra
  Abstract Algebraic Structures in Swift
  ☆53Updated 6 years ago
• bkase / slides
  Slide decks rendered from mardown
  ☆24Updated 2 months ago
• Stiivi / ParserCombinator
  Simple ParserCombinator framework for Swift
  ☆13Updated 6 years ago
• paulyoung / Newtype
  An approximation of newtypes in Swift.
  ☆13Updated 6 years ago
• jspahrsummers / ObjectiveHaskell
  Tools for making it easier to integrate Haskell and Objective-C.
  ☆92Updated 11 years ago
• typelift / Tyro
  DEPRECATED Functional JSON parsing and encoding
  ☆45Updated 7 years ago
• hlian / jiffy
  Parser combinators, for Swift
  ☆65Updated 9 years ago
• mdiep / Kanren.swift
  Logic programming in Swift
  ☆12Updated 8 years ago
• chriseidhof / incremental-simplified
  ☆69Updated 2 years ago
• behrang / SwiftParsec
  Parsec implementation in Swift
  ☆52Updated 7 years ago
• letvargo / SimpleSwiftFRP
  A simple Functional Reactive Programming library for Swift
  ☆13Updated 8 years ago
• inamiy / HigherKindSwift
  An experimental Higher Kinded Types in Swift.
  ☆44Updated 5 years ago
• robrix / Memo
  Swift µframework of Memo, a lazily memoized value.
  ☆45Updated 9 years ago
• robb / Monocle
  Pretty much only a Lens
  ☆45Updated 8 years ago
• trill-lang / Kaleidoscope
  Kaleidoscope is an LLVM language for writing tutorials.
  ☆17Updated 7 years ago
• bencochran / KaleidoscopeLang
  ☆15Updated 8 years ago
• brynbellomy / Funky
  Functional programming tools and experiments in Swift.
  ☆14Updated 8 years ago
• guidomb / Portal
  A (potentially) cross-platform, unidirectional data flow framework to build applications using a declarative and immutable UI API.
  ☆50Updated 5 years ago
• kareman / FootlessParser
  A simple parser combinator written in Swift
  ☆63Updated 6 months ago
• robrix / ui-effects
  An experiment towards a UI programming model inspired by algebraic effects.
  ☆30Updated 7 years ago
• chriseidhof / shoes-swift
  ☆35Updated 8 years ago
• plausiblelabs / plrelational
  Swift libraries that enable "Reactive Relational Programming"
  ☆72Updated 4 years ago