Software developer, mathematician. Interested in category theory, functional programming, static type systems, logic programming, and UI frameworks.
- Shenandoah County, VA
- sintrastes.github.io
Lists (2)
Sort Name ascending (A-Z)
- All languages
- Agda
- Alloy
- AutoHotkey
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Elixir
- Elm
- F#
- F*
- GDScript
- Gleam
- Go
- Grammatical Framework
- Groovy
- HTML
- Hack
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- Mercury
- Nix
- OCaml
- PHP
- Prolog
- PureScript
- Python
- QML
- R
- Racket
- ReScript
- Roff
- Rust
- Scala
- Scheme
- Scilab
- Shell
- Smalltalk
- Standard ML
- Swift
- SystemVerilog
- TSQL
- Tcl
- TeX
- TypeScript
- Vala
- Vim Script
- Vue
- WebAssembly
- Yacc
- hoon
Starred repositories
3
stars
written in CSS
Clear filter
A skin to make Steam look more like a native GNOME app
Slate is theme for your GitHub Pages or Jekyll site. https://jasoncostello.github.io/slate
Alternate CSS styles for Hackage source listing (or any hscolour project)