New
|
Popular
|
Submit
|
About
login
The most popular entries for the last:
year
day
week
month
year
century
571
Kth Element from the End of a List - Jay McCarthy
(
jeapostrophe.github.io
)
2 points by
soegaard
2215 days ago
572
High-Performance Graphics with DirectX in Racket [pdf] - Antoine Bossard
(
www.iaiai.org
)
2 points by
soegaard
2241 days ago
573
Proust: A Nano Proof Assistant - Prabhakar Ragde
(
arxiv.org
)
2 points by
soegaard
2238 days ago
574
Macros part 1 of 3 - Jeff Terrell
(
www.youtube.com
)
2 points by
soegaard
1461 days ago
575
Racket Reloadable - Tony Garnock-Jones
(
github.com
)
2 points by
soegaard
1461 days ago
576
LaTeX to MathML Rendering
(
trustica.cz
)
2 points by
spdegabrielle
377 days ago
577
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages - Ulrich, Moura
(
arxiv.org
)
2 points by
soegaard
1467 days ago
578
Turnstile+: Dependent Type Systems as Macros [pdf]
(
www.ccs.neu.edu
)
2 points by
soegaard
2241 days ago
579
Racket - A programming language for programming programming languages - Redd and Lugt
(
www.youtube.com
)
2 points by
soegaard
1467 days ago
580
Shill scripting language
(
shill.seas.harvard.edu
)
2 points by
spdegabrielle
361 days ago
581
Turnstile+: Dependent Type Systems as Macros [discussion]
(
lambda-the-ultimate.org
)
2 points by
soegaard
2241 days ago
582
R3RS-Scheme: Reuniting with My Ex-Wife - Kenichi Sasagawa
(
medium.com
)
2 points by
soegaard
199 days ago
583
Functional programming paradigms in Reinforcement learning problems [pdf] - Pietro Ehrlich
(
repositorio.uniandes.edu.co
)
2 points by
soegaard
1382 days ago
584
Polyglot 2.0 update - Sage Gerard
(
sagegerard.com
)
2 points by
soegaard
2340 days ago
585
Fairylog (language for programming FPGAs) - Ross
(
pinksquirrellabs.com
)
2 points by
soegaard
2238 days ago
586
Remaking a Classic - Columns - Jeffrey Massung
(
r-cade.io
)
2 points by
soegaard
2245 days ago
587
The Big Switcheroo - Greg Hendershott
(
www.greghendershott.com
)
2 points by
soegaard
2256 days ago
588
Optimizing Pruning in Herbie - Pavel Panchekha
(
pavpanchekha.com
)
2 points by
soegaard
1378 days ago
589
Racket News Issue 27
(
racket-news.com
)
2 points by
soegaard
2250 days ago
590
Device Drivers in Loko Scheme - Göran Weinholt
(
weinholt.se
)
2 points by
soegaard
2247 days ago
591
A Record Type Representation Trick - Göran Weinholt
(
weinholt.se
)
2 points by
soegaard
1344 days ago
592
Racket Hacking: SwiftUI + Racket -- Bogdan Popa
(
www.youtube.com
)
2 points by
soegaard
1348 days ago
593
Timezone Lookup Revisited - Alex Harsányi
(
alex-hhh.github.io
)
2 points by
soegaard
1345 days ago
594
The DrScheme repl isn’t the one in Emacs [2009] - Matthias Felleisen
(
blog.racket-lang.org
)
2 points by
soegaard
1344 days ago
595
Macro-embedding Compiler Intermediate Languages in Racket - William J. Bowman
(
www.youtube.com
)
2 points by
soegaard
1296 days ago
596
Automating the Design Recipe [Scheme'22]
(
www.youtube.com
)
2 points by
soegaard
1296 days ago
597
Changing Built-in Racket Packages - Alex Harsányi
(
alex-hhh.github.io
)
2 points by
soegaard
2340 days ago
598
Getting rid of set-car! and set-cdr! [2007] - Matthew Flatt
(
blog.racket-lang.org
)
2 points by
soegaard
136 days ago
599
A look across the pond: a comparison between GHC and Racket compilation models - Alexis King
(
www.youtube.com
)
2 points by
soegaard
1296 days ago
600
An FFI between Gambit Scheme and CPython - Marc-André Bélanger and Marc Feeley
(
www.youtube.com
)
2 points by
soegaard
1296 days ago
More