- Brisbane, Queensland, Australia
- https://jmcph4.dev
- @secjack_
- All languages
- ActionScript
- Agda
- Assembly
- AutoIt
- Awk
- Batchfile
- BitBake
- Bluespec
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Cairo
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- Forth
- Gleam
- Go
- Groovy
- HCL
- HTML
- Handlebars
- Haskell
- HolyC
- Io
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- M
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Max
- Nim
- Nix
- Noir
- Nunjucks
- OCaml
- Objective-C
- OpenSCAD
- PHP
- PLSQL
- PLpgSQL
- Pascal
- Perl
- PostScript
- PowerShell
- Prolog
- PureScript
- Python
- R
- Racket
- ReScript
- Reason
- RenderScript
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Sass
- Scala
- Scheme
- Shell
- Smarty
- Solidity
- Spline Font Database
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TSQL
- Tcl
- TeX
- TypeScript
- UnrealScript
- V
- Verilog
- Vim Script
- Vue
- Vyper
- WebAssembly
- Wikitext
- Wren
- XSLT
- YARA
- Zig
- hoon
- jq
- q
Starred repositories
ShellCheck, a static analysis tool for shell scripts
A friendly programming language from the future
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
📜 Haskell course info, plan, video lectures, slides
Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode, bidirectional backlinks, and typography (sidenotes, dropcap…
Linear algebra and numerical computation
Haskell implementation of open games
Generate a mindmap from an org-mode file. Complete with annotations.
Write LaTeX theorems in Pandoc Markdown
A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.
The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell).
Generate and apply diffs between JSON documents.
Easy, Fast and Type-Safe Web Application Framework