capfredf

Yet another typed racketeer who writes untyped code a lot

PLT @ where Dan-scheme is taught

Pinned Repositories

.tmux
🇫🇷 Oh my tmux! My self-contained, pretty & versatile tmux configuration made with ❤️
0 1 00
agda-stdlib
The Agda standard library
Language:Agda0 2 00
bit-matching
Language:Racket2 3 110
emacs.d
Language:Emacs Lisp2 2 00
pkg-backward-comp-check
Language:Racket3 2 00
racket
The Racket repository
Language:Racket1 2 00
scribble-mode
an Emacs major mode for editing Racket scribble files.
Language:Emacs Lisp1 2 00
org.racket_lang.Racket
2 3 52
Essentials-of-Compilation
A book about compiling Racket and Python to x86-64 assembly
Language:TeX1.3k 52 111143
typed-racket
Typed Racket
Language:Racket527 45 638104

capfredf's Repositories

capfredf/pkg-backward-comp-check
Language:Racket3 2 00
capfredf/emacs.d
Language:Emacs Lisp2 2 00
capfredf/racket
The Racket repository
Language:Racket1 2 00
capfredf/clang-repl-cc
Language:HTML1 0
capfredf/compiler-research.github.io
Language:SCSS0 0
capfredf/cs7480-util
Utility code for projects in CS7480 involving Racket and gradual typing
Language:Racket1 0
capfredf/datatype
(Somewhat) Algebraic Data Types for Racket
Language:Racket0 0
capfredf/delay-pure
Non-cached promises for Typed/Racket, like delay/name, but safe because only pure functions are allowed. Only a subset of Racket's functions is allowed.
Language:Racket1 0
capfredf/draw
Language:Racket0 0
capfredf/drracket
DrRacket, IDE for Racket
Language:Racket1 0
capfredf/emacs
backup
Language:Emacs Lisp0 0
capfredf/graph
Generic graph library and algorithms for Racket.
Language:Racket1 0
capfredf/gui
Language:Racket1 0
capfredf/htdp
Language:Racket1 0
capfredf/latex-utils
Different useful things I have come up with to write my papers in scribble rather than directly in LaTeX
Language:Racket0 0
capfredf/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
0 0
capfredf/measures-with-dimensions
units of measure in typed racket
Language:Racket2 0
capfredf/mox
Open XML for Microsoft Office
Language:Racket1 0
capfredf/org.racket_lang.Racket
Pull requests for new applications to be added
0 0
capfredf/plfa.github.io
An introduction to programming language theory in Agda
Language:Agda0 0
capfredf/plot
Language:Racket1 0
capfredf/racket-lang-org
Language:Racket0 0
capfredf/racket-mode
GNU Emacs major modes for Racket: Edit and REPL.
Language:Emacs Lisp2 0
capfredf/rackunit
Language:Racket1 0
capfredf/raco-static-web
Language:Racket1 0
capfredf/redex
Language:Racket0 0
capfredf/scribble
Language:Racket1 0
capfredf/slideshow
Language:Racket1 0
capfredf/typed-racket
Typed Racket
Language:Racket2 0
capfredf/typeset-rewriter
simple, low level rewriters for PLT Redex typesetting
Language:Racket0 0