New
|
Popular
|
Submit
|
About
login
The most popular entries for the last:
day
day
week
month
year
century
511
High-Performance Graphics with DirectX in Racket [pdf] - Antoine Bossard
(
www.iaiai.org
)
2 points by
soegaard
2037 days ago
512
Proust: A Nano Proof Assistant - Prabhakar Ragde
(
arxiv.org
)
2 points by
soegaard
2034 days ago
513
Turnstile+: Dependent Type Systems as Macros [pdf]
(
www.ccs.neu.edu
)
2 points by
soegaard
2037 days ago
514
#lang mini-java
(
github.com
)
2 points by
soegaard
2158 days ago
515
Turnstile+: Dependent Type Systems as Macros [discussion]
(
lambda-the-ultimate.org
)
2 points by
soegaard
2037 days ago
516
Fairylog (language for programming FPGAs) - Ross
(
pinksquirrellabs.com
)
2 points by
soegaard
2035 days ago
517
Olin Shivers: Anatomy of a Loop [presentation]
(
www.youtube.com
)
2 points by
soegaard
1150 days ago
518
Remaking a Classic - Columns - Jeffrey Massung
(
r-cade.io
)
2 points by
soegaard
2041 days ago
519
The Big Switcheroo - Greg Hendershott
(
www.greghendershott.com
)
2 points by
soegaard
2053 days ago
520
Racket News Issue 27
(
racket-news.com
)
2 points by
soegaard
2047 days ago
521
Device Drivers in Loko Scheme - Göran Weinholt
(
weinholt.se
)
2 points by
soegaard
2044 days ago
522
Logic and Computation Intertwined - Prabhakar Ragde
(
cs.uwaterloo.ca
)
2 points by
soegaard
306 days ago
523
Small Racket Games - Eric Clack
(
github.com
)
2 points by
soegaard
2165 days ago
524
CSRF vulnerability found, reported, and patched in racket-stories.com
(
github.com
)
2 points by
okaylisper
2061 days ago
525
In Praise of LACI (Logic and Computation Intertwined) - John Clements
(
brinckerhoff.org
)
2 points by
soegaard
306 days ago
526
Language-Oriented Programming with Racket - Matthias Felleisen
(
www.youtube.com
)
2 points by
soegaard
2050 days ago
527
Racket macro: cond/define - Cadence
(
cadence.moe
)
2 points by
soegaard
314 days ago
528
A polyglot program puzzle - Joe Marshall
(
funcall.blogspot.com
)
2 points by
soegaard
2061 days ago
529
Creating Texture Atlases in Racket [2013] - Jay McCarthy
(
jeapostrophe.github.io
)
2 points by
soegaard
2085 days ago
530
Thrush Combinator in Racket - Jack Firth
(
codepen.io
)
2 points by
soegaard
2085 days ago
531
Macros part 1 of 3 - Jeff Terrell
(
www.youtube.com
)
2 points by
soegaard
1257 days ago
532
Racket Reloadable - Tony Garnock-Jones
(
github.com
)
2 points by
soegaard
1258 days ago
533
x64asm - An x64 assembler written in Typed Racket [docs]
(
docs.racket-lang.org
)
2 points by
soegaard
2167 days ago
534
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages - Ulrich, Moura
(
arxiv.org
)
2 points by
soegaard
1264 days ago
535
Applications of Continuations [pdf] - Daniel P. Friedman
(
www.cs.indiana.edu
)
2 points by
soegaard
2083 days ago
536
Racket - A programming language for programming programming languages - Redd and Lugt
(
www.youtube.com
)
2 points by
soegaard
1264 days ago
537
Scheme to the Spec Part I: Concurrent Cycle Collection - Matthew Plant
(
maplant.com
)
2 points by
soegaard
300 days ago
538
Racket Makefiles [2017] - Greg Hendershott
(
www.greghendershott.com
)
2 points by
soegaard
2080 days ago
539
Rubik's Cube Diffusion - Dominik Joe Pantůček
(
trustica.cz
)
2 points by
soegaard
2186 days ago
540
Functional programming paradigms in Reinforcement learning problems [pdf] - Pietro Ehrlich
(
repositorio.uniandes.edu.co
)
2 points by
soegaard
1178 days ago
More