New
|
Popular
|
Submit
|
About
login
The most popular entries for the last:
month
day
week
month
year
century
511
High-Performance Graphics with DirectX in Racket [pdf] - Antoine Bossard
(
www.iaiai.org
)
2 points by
soegaard
2013 days ago
512
Proust: A Nano Proof Assistant - Prabhakar Ragde
(
arxiv.org
)
2 points by
soegaard
2009 days ago
513
Turnstile+: Dependent Type Systems as Macros [pdf]
(
www.ccs.neu.edu
)
2 points by
soegaard
2013 days ago
514
Syntax Templates in Racket - Ryan Culpepper
(
www.youtube.com
)
2 points by
soegaard
2156 days ago
515
Turnstile+: Dependent Type Systems as Macros [discussion]
(
lambda-the-ultimate.org
)
2 points by
soegaard
2013 days ago
516
Fairylog (language for programming FPGAs) - Ross
(
pinksquirrellabs.com
)
2 points by
soegaard
2010 days ago
517
Olin Shivers: Anatomy of a Loop [presentation]
(
www.youtube.com
)
2 points by
soegaard
1125 days ago
518
Remaking a Classic - Columns - Jeffrey Massung
(
r-cade.io
)
2 points by
soegaard
2016 days ago
519
The Big Switcheroo - Greg Hendershott
(
www.greghendershott.com
)
2 points by
soegaard
2028 days ago
520
Racket News Issue 27
(
racket-news.com
)
2 points by
soegaard
2022 days ago
521
Device Drivers in Loko Scheme - Göran Weinholt
(
weinholt.se
)
2 points by
soegaard
2019 days ago
522
Logic and Computation Intertwined - Prabhakar Ragde
(
cs.uwaterloo.ca
)
2 points by
soegaard
281 days ago
523
Small Racket Games - Eric Clack
(
github.com
)
2 points by
soegaard
2140 days ago
524
CSRF vulnerability found, reported, and patched in racket-stories.com
(
github.com
)
2 points by
okaylisper
2037 days ago
525
In Praise of LACI (Logic and Computation Intertwined) - John Clements
(
brinckerhoff.org
)
2 points by
soegaard
281 days ago
526
Language-Oriented Programming with Racket - Matthias Felleisen
(
www.youtube.com
)
2 points by
soegaard
2025 days ago
527
Racket macro: cond/define - Cadence
(
cadence.moe
)
2 points by
soegaard
289 days ago
528
A polyglot program puzzle - Joe Marshall
(
funcall.blogspot.com
)
2 points by
soegaard
2036 days ago
529
Creating Texture Atlases in Racket [2013] - Jay McCarthy
(
jeapostrophe.github.io
)
2 points by
soegaard
2060 days ago
530
Thrush Combinator in Racket - Jack Firth
(
codepen.io
)
2 points by
soegaard
2060 days ago
531
Macros part 1 of 3 - Jeff Terrell
(
www.youtube.com
)
2 points by
soegaard
1232 days ago
532
Racket Reloadable - Tony Garnock-Jones
(
github.com
)
2 points by
soegaard
1233 days ago
533
x64asm - An x64 assembler written in Typed Racket [docs]
(
docs.racket-lang.org
)
2 points by
soegaard
2142 days ago
534
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages - Ulrich, Moura
(
arxiv.org
)
2 points by
soegaard
1239 days ago
535
Applications of Continuations [pdf] - Daniel P. Friedman
(
www.cs.indiana.edu
)
2 points by
soegaard
2058 days ago
536
Racket - A programming language for programming programming languages - Redd and Lugt
(
www.youtube.com
)
2 points by
soegaard
1239 days ago
537
Scheme to the Spec Part I: Concurrent Cycle Collection - Matthew Plant
(
maplant.com
)
2 points by
soegaard
275 days ago
538
Racket Makefiles [2017] - Greg Hendershott
(
www.greghendershott.com
)
2 points by
soegaard
2055 days ago
539
Timezone Lookup (an adventure in program optimization) - Alex Harsányi
(
alex-hhh.github.io
)
2 points by
soegaard
2130 days ago
540
Functional programming paradigms in Reinforcement learning problems [pdf] - Pietro Ehrlich
(
repositorio.uniandes.edu.co
)
2 points by
soegaard
1153 days ago
More