🏃♂️
Running away from the POOH
FP protagonist. You can also call me Connor :)
- Crazy Universe
-
16:37
(UTC +08:00)
Lists (15)
Sort Name ascending (A-Z)
- All languages
- ASL
- Agda
- Arduino
- Assembly
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dart
- Dhall
- Dockerfile
- Elm
- Emacs Lisp
- GLSL
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- JetBrains MPS
- Jsonnet
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M4
- MDX
- Makefile
- Markdown
- Mathematica
- NCL
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Perl
- PowerShell
- PureScript
- Python
- Ruby
- Rust
- Scala
- ShaderLab
- Shell
- SourcePawn
- SuperCollider
- Swift
- TeX
- TypeScript
- V
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- XSLT
- Zig
- jq
- mcfunction
Starred repositories
6
stars
written in OCaml
Clear filter
A static analyzer for Java, C, C++, and Objective-C
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"