jspahrsummers/correct-behavior-through-type-safety jspahrsummers/correct-behavior-through-type-safety

  • This repository has been archived on 05/Dec/2019
  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    Swift
  • License
    Other
  • Created almost 10 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jspahrsummers/correct-behavior-through-type-safety
github

jspahrsummers

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Talk about using types to prove correctness

More Repositories

1

libextobjc

A Cocoa library to extend the Objective-C programming language.
Objective-C
4,527
star
2

GroceryList

iPhone grocery list app, synchronized using GitHub ๐ŸŒ
Objective-C
860
star
3

RxSwift

Proof-of-concept for implementing Rx primitives in Swift
Swift
600
star
4

objc-build-scripts

Bootstrap and CI scripts for Objective-C projects.
Shell
255
star
5

enemy-of-the-state

My talk explaining what state is and why it's so harmful
Swift
208
star
6

Crust

Reimagining Mantle in Swift (experimental)
Swift
197
star
7

adt

Algebraic data types for Python (experimental, not actively maintained)
Python
172
star
8

Microverse

macOS virtualization app for M1/Apple Silicon
Swift
126
star
9

ObjectiveHaskell

Tools for making it easier to integrate Haskell and Objective-C.
Haskell
92
star
10

the-future-of-reactivecocoa

Presentation for RACDC 2014
75
star
11

effective-code-review

Presentation about my process for making code reviews as effective as possible
65
star
12

Clairvoyant

Append-only key-value database
Swift
61
star
13

library-oriented-programming

Talk about the how/why of separating concerns into libraries
57
star
14

libextc

A fully C99-compliant library to extend the C programming language itself.
Shell
57
star
15

haskell-cocoa-clojure

Clojure to Cocoa, built with Haskell (abandoned).
Objective-C
48
star
16

Notifications

Demo iPhone app for viewing your GitHub notifications
Swift
43
star
17

SafeDispatch

A Cocoa framework to make Grand Central Dispatch safer (deprecated).
Objective-C
40
star
18

carthage-talk

Ruthlessly Simple Dependency Management with Carthage
Objective-C
36
star
19

RxHaskell

Reactive Extensions for Haskell (experimental)
Haskell
35
star
20

objective-clojure

Clojure to Objective-C compiler (abandoned).
Clojure
28
star
21

documentalist

A multi-language, extensible documentation generator
C++
27
star
22

has-tags

Command line utility for testing Mavericks tags
C
17
star
23

ScrumBut

Scrum, butย with GitHub Issues (experimental)
Haskell
16
star
24

sandboxing-guide

Suggestions for sandboxing Mac and Windows applications and workflows to improve security, while balancing usability
16
star
25

luac-llvm

A Lua front-end for LLVM to translate code into calls to the Lua C API.
Haskell
16
star
26

designing-for-graphql

Presentation about the mindset shift that GraphQL requires, and best practices to adapt to it
14
star
27

dotfiles

My personal configuration files.
Vim Script
12
star
28

pure-lua

Pure functional programming for Lua
Lua
9
star
29

MoonlitCocoa

A framework to build Cocoa applications with a purely functional Lua model.
Objective-C
9
star
30

shell-scripts

Miscellaneous useful shell scripts.
Shell
8
star
31

Merc

Space sim inspired by Escape Velocity
GDScript
7
star
32

ibdatastream

Microservice to connect to Interactive Brokers and stream market data elsewhere
Python
5
star
33

statelessness-of-the-union

Presentation for RACDC 2015
5
star
34

homebrew-haskell

Haskell formulae for the Homebrew package manager
Ruby
3
star
35

norn

Embeddable blockchain library for low-latency P2P multiplayer games (proof of concept)
Lua
3
star
36

objective-d

Automatically exported from code.google.com/p/objective-d
D
3
star
37

mercury-playground

Learning the Mercury programming language
Mercury
2
star
38

rxhaskell-talk

Proposal for Strange Loop 2013 (rejected)
2
star
39

git-dsl

An embedded DSL for Git operations
Haskell
1
star
40

reactive-python

Reactive programming abstractions for asyncio and the Python standard library (proof-of-concept)
Python
1
star
41

atom-language-swift

Swift language support for the Atom editor
CoffeeScript
1
star
42

jspahrsummers

GitHub profile README
1
star
43

python-build-scripts

Bootstrap and CI scripts for [my] Python projects
Shell
1
star