Greg Rosenblatt (@gregr)
github

gregr

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    148
  • Global Rank 155,276 (Top 6 %)
  • Followers 96
  • Following 42
  • Registered almost 15 years ago
  • Most used languages
    Racket
         53.8 %
    Python
         15.4 %
    Scheme
         15.4 %
    Elm
         7.7 %
    Shell
         7.7 %
  • Location 🇨🇦 Canada
  • Country Total Rank 4,234
  • Country Ranking
    Racket
         3
    Scheme
         6
    Elm
         66
    Shell
         1,743
    Python
         8,549

Top repositories

1

dbKanren

Kanren with databases
Racket
35
star
2

icfp2017-artifact-auas7pp

ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
Scheme
28
star
3

ina

experimental computational medium and supporting tools
Scheme
22
star
4

dKanren

miniKanren variant with a functional syntax, expressing disjunction via pattern matching
Racket
15
star
5

experiments

a steady descent into madness
Racket
12
star
6

first-order-miniKanren

miniKanren with a first-order representation of the search space
Racket
10
star
7

racket-misc

miscellaneous racket utilities that I find useful
Racket
10
star
8

demo-livingnet

demo of an alternative to the web
Racket
7
star
9

tutorial-relational-interpreters

One Weird Trick: Relational Interpreters for Program Synthesis
Racket
6
star
10

vbox

some basic scripting of virtualbox
Shell
4
star
11

old-and-miscellaneous

several piles of garbage for the price of one
Python
2
star
12

elm-goban

tools for go/igo/weiqi/baduk using elm
Elm
2
star
13

chive

chive programming language implementation
Python
1
star