kennknowles/python-rightarrow kennknowles/python-rightarrow

  • Stars
    star
    59
  • Rank 506,771 (Top 11 %)
  • Language
    Python
  • License
    Apache License 2.0
  • Created over 11 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kennknowles/python-rightarrow
github

kennknowles

Reviews

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

Repository Details

A language for describing Python programs with concise higher-order annotations like "(a -> a) -> [a] -> [a]" but don't you dare call them "types" :-)

More Repositories

1

python-jsonpath-rw

A robust and significantly extended implementation of JSONPath for Python, with a clear AST for metaprogramming.
Python
597
star
2

python-either

Maybe and Either data structures for Python
Python
17
star
3

behave.js

Less-than-pure Functional Reactive Programming for Javascript
JavaScript
13
star
4

python-typelanguage

A type language for Python built for communication (it also enforces them dynamically or statically, and infers them)
Python
12
star
5

go-yid

Yacc Is Dead! Implemented in Go.
Go
9
star
6

python-doublecheck

Pythonic library for QuickCheck-style randomized testing and SmallCheck-style exhaustive testing of the same test suite.
Python
7
star
7

python-tastypie-client

Schema-driven Python client for Django Tastypie REST APIs
Python
7
star
8

hubway-team-viz

JavaScript
5
star
9

ocaml-freetds

OCaml binding to the ct-lib portion of the FreeTDS library
C
5
star
10

aspcc

ASP "Converter/Compiler". An ASP/VbScript interpreter with aspirations to also compile to PHP and bytecode(s).
OCaml
5
star
11

functional-lens

Articles from the blog "Functional Lens (on Mathematics and Computation)"
Haskell
5
star
12

knockout-combinators

Utilities to combine and compose Knockout observables
JavaScript
5
star
13

scala-heterogeneous-map

Heterogeneous maps for Scala where keys carry phantom types
Scala
4
star
14

codeslashslashcomment

Code from my more pragmatic blog
JavaScript
4
star
15

regular.js

Regular Expression syntax for Regular Javascript Programmers
JavaScript
1
star
16

dotfiles

Dotfiles!
Shell
1
star
17

pip-version-issue

Demonstration of an issue with pip's handling of version constraints
Python
1
star
18

prbac-talk

A slide deck for talking through Unix Permissions, Role-Based Access Control, thence Parameterized Role-Based Access Control
1
star
19

cardflasher

An n-sided "card box" flashcard program, useful for languages with separate pictograph, phonetics, romanization, and meaning
OCaml
1
star