kshred

kshred's Stars

• jlevy/the-art-of-command-line

  Master the command line, in one page

  155k2.8k25414.6k

• jekyll/jekyll

  :globe_with_meridians: Jekyll is a blog-aware static site generator in Ruby

  Language:Ruby49.8k1.4k4.9k10.1k

• racket/racket

  The Racket repository

  Language:Racket4.9k1422.2k674

• hmkcode/Android

  Android related examples

  Language:Java3.5k506363.4k

• cfenollosa/bashblog

  A single Bash script to create blogs. Download, run, write, done!

  Language:Shell1.7k73109235

• urweb/urweb

  The Ur/Web programming language

  Language:Standard ML8083415966

• greghendershott/racket-mode

  Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.

  Language:Racket6893062096

• remvee/android-mode

  Moved to codeberg

  222173056

• zyrolasting/racket-koans

  Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.

  Language:Racket797715

• scott-fleischman/greek-grammar

  Modeling Ancient Greek Grammar

  Language:Agda509137

• gian/urtutorial

  A Tutorial for Ur/Web

  Language:CSS30304

• chadbrewbaker/FunctionalAlgebra

  Program refactoring as Jr. High Algebra

  Language:TeX9510

• Halfwake/web-sweeper

  Stateless Server Side Mine Sweeper

  Language:Racket7220

• tokenrove/shred-for-satan

  MIDI-driven metronome

  Language:OCaml7501

• Halfwake/web-adventure

  A module for writing simple state based text adventure games for the web.

  Language:Racket5210