Trending repositories for language Racket

Last 3 days (new repositories)

no newly created repositories trending in the last 3 days

Last 3 days (absolute gain)

jeapostrophe/racket-langserver

No description

269 (+1)

racket/rhombus

Rhombus programming language

348 (+1)

Last 3 days (relative gain)

jeapostrophe/racket-langserver

No description

269 (+0.4%)

racket/rhombus

Rhombus programming language

348 (+0.3%)

Last week (new repositories)

no newly created repositories trending in the last week

Last week (absolute gain)

jeapostrophe/racket-langserver

No description

269 (+1)

racket/rhombus

Rhombus programming language

348 (+1)

Last week (relative gain)

jeapostrophe/racket-langserver

No description

269 (+0.4%)

racket/rhombus

Rhombus programming language

348 (+0.3%)

Last month (new repositories)

no newly created repositories trending in the last month

Last month (absolute gain)

racket/racket

The Racket repository

4,805 (+25)

racket/rhombus

Rhombus programming language

348 (+7)

sorawee/pretty-expressive

An implementation of "A Pretty Expressive Printer" in Racket

27 (+5)

Bogdanp/Franz

A desktop client for Apache Kafka.

135 (+4)

avelino/awesome-racket

A curated list of awesome Racket frameworks, libraries and software, maintained by Community

460 (+3)

mit

anishathalye/knox

A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏

32 (+2)

mit

alex-hhh/ActivityLog2

Analyze data from swim, bike and run activities

337 (+2)

gpl-3.0

willghatch/racket-rash

The Reckless Racket Shell

550 (+2)

$fractalide$

fractalide/fractalide

Reusable Reproducible Composable Software

871 (+2)

mpl-2.0

mbutterick/pollen

book-publishing system [mirror of main repo at https://git.matthewbutterick.com/mbutterick/pollen]

1,192 (+2)

mit

andreafra/ppl

Exercises for course "Principles of Programming Languages" @ Polimi '23, '24

29 (+1)

ashton314/muKanren_reading

[Mirror] A close reading of the μKanren paper.

41 (+1)

mit

mthom/scryer-shen

No description

42 (+1)

bsd-3-clause

Bogdanp/racket-http-easy

A high-level HTTP client for Racket.

45 (+1)

lexi-lambda/blackboard

A (very) unfinished OpenType Math layout and rendering engine in Racket

54 (+1)

cucapra/diospyros

Search-based compiler for high-performance DSP programming

61 (+1)

mit

sorawee/fmt

A code formatter for Racket

74 (+1)

racket/redex

No description

92 (+1)

stchang/macrotypes

No description

135 (+1)

bsd-2-clause

sicp-lang/sicp

A SICP language for Racket.

192 (+1)

lgpl-3.0

Last month (relative gain)

sorawee/pretty-expressive

An implementation of "A Pretty Expressive Printer" in Racket

27 (+23%)

anishathalye/knox

A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏

32 (+7%)

mit

andreafra/ppl

Exercises for course "Principles of Programming Languages" @ Polimi '23, '24

29 (+4%)

Bogdanp/Franz

A desktop client for Apache Kafka.

135 (+3%)

ashton314/muKanren_reading

[Mirror] A close reading of the μKanren paper.

41 (+3%)

mit

mthom/scryer-shen

No description

42 (+2%)

bsd-3-clause

Bogdanp/racket-http-easy

A high-level HTTP client for Racket.

45 (+2%)

racket/rhombus

Rhombus programming language

348 (+2%)

lexi-lambda/blackboard

A (very) unfinished OpenType Math layout and rendering engine in Racket

54 (+2%)

cucapra/diospyros

Search-based compiler for high-performance DSP programming

61 (+2%)

mit

sorawee/fmt

A code formatter for Racket

74 (+1%)

racket/redex

No description

92 (+1%)

stchang/macrotypes

No description

135 (+0.7%)

bsd-2-clause

avelino/awesome-racket

A curated list of awesome Racket frameworks, libraries and software, maintained by Community

460 (+0.7%)

mit

alex-hhh/ActivityLog2

Analyze data from swim, bike and run activities

337 (+0.6%)

gpl-3.0

sicp-lang/sicp

A SICP language for Racket.

192 (+0.5%)

lgpl-3.0

racket/racket

The Racket repository

4,805 (+0.5%)

racket/scribble

No description

201 (+0.5%)

themetaschemer/malt

Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar

213 (+0.5%)

mit

wilbowma/cur

A less devious proof assistant

222 (+0.5%)

bsd-2-clause

Last 12-months (new repositories)

nalgeon/uuidv7

UUIDv7 in N languages

unlicense

mthom/scryer-shen

No description

bsd-3-clause

lexi-lambda/racket-mvar

An implementation of Haskell’s MVars in Racket

isc

ossu/spd-starters

No description

Last 12-months (absolute gain)

racket/racket

The Racket repository

4,805 (+206)

Bogdanp/Franz

A desktop client for Apache Kafka.

135 (+92)

themetaschemer/malt

Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar

213 (+83)

mit

nalgeon/uuidv7

UUIDv7 in N languages

82 (+71)

unlicense

racket/rhombus

Rhombus programming language

348 (+69)

mthom/scryer-shen

No description

42 (+41)

bsd-3-clause

avelino/awesome-racket

A curated list of awesome Racket frameworks, libraries and software, maintained by Community

460 (+40)

mit

the-little-typer/pie

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

697 (+37)

agpl-3.0

Racket-Cookbooks/Plot-cookbook

Plot Cookbook

50 (+36)

mit

$fractalide$

fractalide/fractalide

Reusable Reproducible Composable Software

871 (+36)

mpl-2.0

racket/typed-racket

Typed Racket

524 (+32)

lexi-lambda/hackett

WIP implementation of a Haskell-like Lisp in Racket

1,165 (+29)

isc

jeapostrophe/racket-langserver

No description

269 (+28)

disconcision/fructure

a structured interaction engine 🗜️ ⚗️

453 (+28)

apache-2.0

racketscript/racketscript

Racket to JavaScript Compiler

712 (+27)

mit

zv/SICP-guile

SICP in Guile & Emacs Lisp

680 (+27)

gussmith23/lakeroad

FPGA synthesis tool powered by program synthesis

38 (+26)

mit

ossu/spd-starters

No description

27 (+25)

racket/drracket

DrRacket, IDE for Racket

454 (+23)

willghatch/racket-rash

The Reckless Racket Shell

550 (+22)

Last 12-months (relative gain)

nalgeon/uuidv7

UUIDv7 in N languages

82 (+645%)

unlicense

Racket-Cookbooks/Plot-cookbook

Plot Cookbook

50 (+257%)

mit

gussmith23/lakeroad

FPGA synthesis tool powered by program synthesis

38 (+217%)

mit

Bogdanp/Franz

A desktop client for Apache Kafka.

135 (+214%)

andreafra/ppl

Exercises for course "Principles of Programming Languages" @ Polimi '23, '24

29 (+190%)

sorawee/pretty-expressive

An implementation of "A Pretty Expressive Printer" in Racket

27 (+108%)

themetaschemer/malt

Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar

213 (+64%)

mit

zackads/sicp

My homework, project and exam answers from Brian Harvey's CS61A: Structure and Interpretation of Computer Programs

45 (+55%)

metareflection/poof

Prototypes: Object Orientation, Functionally

41 (+46%)

apache-2.0

drym-org/qi

An embeddable flow-oriented language.

59 (+37%)

anishathalye/knox

A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏

32 (+33%)

mit

lexi-lambda/racket-mvar

An implementation of Haskell’s MVars in Racket

28 (+33%)

isc

tnelson/Forge

Forge: A Tool and Language for Teaching Formal Methods

67 (+31%)

mit

jackfirth/resyntax

A Racket refactoring engine

58 (+26%)

apache-2.0

racket/rhombus

Rhombus programming language

348 (+25%)

ashton314/muKanren_reading

[Mirror] A close reading of the μKanren paper.

41 (+24%)

mit

cmsc430/cmsc430.github.io

CMSC 430 Design and Implementation of Programming Languages

46 (+21%)

evdubs/renegade-way

Option Trading Application

125 (+20%)

mpl-2.0

gregr/dbKanren

Kanren with databases

43 (+19%)

mit

otherjoel/punct

⏺✍️ Write in Lisp + Markdown, publish to multiple formats

40 (+18%)