jackfirth/miniracksis jackfirth/miniracksis

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Racket
  • License
    Apache License 2.0
  • Created over 4 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jackfirth/miniracksis
github

jackfirth

Reviews

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

Repository Details

A Racket port of the Minithesis property testing library

More Repositories

1

pyramda

Python package supporting heavy functional programming through currying. Translation of the Ramda library from javascript to python.
Python
127
star
2

rebellion

A collection of core libraries for Racket
Racket
80
star
3

lens

A Racket package for creating and composing pure functional lenses
Racket
74
star
4

resyntax

A Racket refactoring engine
Racket
48
star
5

point-free

Collection of forms and higher order functions that assist function composition and definition of functions in a point-free style
Racket
24
star
6

racket-request

Package for simplifying HTTP requests and writing integration tests of REST-ful APIs in Racket
Racket
23
star
7

racket-mock

Mocking library for Racket
Racket
22
star
8

racket-net2

The networking library that Racketeers deserve
Racket
14
star
9

racket-package-template

My personal template repository for Racket packages
Racket
13
star
10

racket-package-ci-action

A GitHub Action for building and testing Racket packages
Shell
12
star
11

glass

An optics (lenses, prisms, traversals, etc.) library for Racket.
Racket
10
star
12

j-notation

An exploration into an alternate surface syntax.
Racket
9
star
13

compose-app

Racket syntax for Haskell-style function composition
Racket
8
star
14

syntax-warn

Define syntax warnings for Racket code
Racket
8
star
15

racket-fixture

An experimental Racket library that adds test fixtures to RackUnit
Racket
7
star
16

racket-disposable

An experimental Racket library providing an abstraction for values associated with external resources that allows automatic resource pooling, per-thread virtual construction, and monadic composition
Racket
7
star
17

type-conventions

A Typed Racket package that allows for function arguments to be declared as having a default type
Racket
6
star
18

doc-coverage

A Racket package for inspecting and testing the number of documented exports of a module
Racket
6
star
19

package-analysis

A Racket package for analyzing the Racket package ecosystem
Racket
6
star
20

racket-expect

A Racket library for defining expectations on values, unit testing, and creating quality error messages
Racket
6
star
21

atomichron

A Racket microbenchmarking library
Racket
5
star
22

command-line-ext

A Racket package providing an extensible way to define command line scripts
Racket
5
star
23

chess

A Racket package for playing chess
Racket
5
star
24

planning

A Racket package for automated planning
Racket
5
star
25

compact-annotations

A Typed Racket package for writing compact polymorphic (and non-polymorphic) function annotations with a syntax similar to that of Haskell's type annotations
Racket
5
star
26

generic-syntax-expanders

A Racket package for creating macros with built-in support for defining sub-macros within them, similar to match expanders
Racket
5
star
27

htdf

How to Design Functions, the function design recipe from the textbook How to Design Programs.
Racket
4
star
28

decorator

An experimental compile-time Racket adaptation of python's decorators
Racket
4
star
29

racket-retry

A Racket package for retrying operations with exponential backoff, jitter, and backoff restarting
Racket
4
star
30

regex-machine

A Racket package for Russ Cox's regex machine language
Racket
4
star
31

predicates

Deprecated. A racket package for creating predicates in a point-free style.
Racket
3
star
32

docker-racket-catalog

Dockerized Racket webserver running a Racket package catalog
Racket
3
star
33

fiberweb

An experiment in cooperative concurrency for Racket.
Racket
2
star
34

http2

A (wildly unimplemented) http2 client and server for Racket
Racket
2
star
35

lambda-calculus

A racket language for lambda calculus
Racket
2
star
36

jackfirth.github.io

HTML
1
star
37

syntax-render

A Racket package for rendering syntax objects into strings
Racket
1
star
38

racket-syntax-lang

Racket library for easy creation of simple #langs
Racket
1
star
39

docker-auth

Authentication layer as Docker containers
Python
1
star
40

codeclass-fp-js

Exercises for Functional Programming in Javascript
JavaScript
1
star
41

advent-of-code

Racket
1
star
42

advent-of-code-2019

My attempts at solving the Advent of Code 2019 puzzles
Racket
1
star