bkase / slides
Slide decks rendered from mardown
☆24Updated 2 weeks ago
Related projects: ⓘ
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Updated 8 years ago
- ☆20Updated 6 years ago
- Abstract Binding Trees☆16Updated 8 years ago
- Abstract Algebraic Structures in Swift☆53Updated 5 years ago
- Declarative Binary Serialization for Swift Structures☆47Updated 6 years ago
- An approximation of newtypes in Swift.☆13Updated 6 years ago
- ☆15Updated 8 years ago
- Functional streaming abstractions in Swift☆72Updated 7 years ago
- 📱Client-side code for the nef editor app☆20Updated 2 years ago
- Tesseract’s evaluation and type system.☆30Updated 9 years ago
- Functional DI explorations in Swift☆28Updated 6 years ago
- ☆11Updated 7 years ago
- A Swift implementation of the LanguageServerProtocol spec.☆33Updated 6 years ago
- Kaleidoscope is an LLVM language for writing tutorials.☆17Updated 7 years ago
- DEPRECATED Functional JSON parsing and encoding☆45Updated 7 years ago
- An experimental Higher Kinded Types in Swift.☆44Updated 5 years ago
- A (potentially) cross-platform, unidirectional data flow framework to build applications using a declarative and immutable UI API.☆50Updated 5 years ago
- yaml -> sourcekit -> json☆29Updated last year
- Parsec implementation in Swift☆52Updated 7 years ago
- ☆17Updated this week
- A Simple Lisp LLVM Compiler. Implemented in Swift☆12Updated 7 years ago
- ☆69Updated last year
- Pretty much only a Lens☆45Updated 7 years ago
- playing around with an FP interface to animations☆22Updated 6 years ago
- Algebraic laws bundled into concrete data types.☆20Updated 4 years ago
- A collection of common small boilerplate in Swift☆10Updated 8 years ago
- Scrum, but with GitHub Issues (experimental)☆16Updated 9 years ago
- Logic programming in Swift☆12Updated 8 years ago
- Swift µframework of Memo, a lazily memoized value.☆45Updated 8 years ago
- Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"☆92Updated 4 years ago