-
Università di Bologna
- Bologna, Italy
-
15:41
(UTC +02:00) - https://vikraman.org
- https://orcid.org/0000-0003-2030-8056
Highlights
- Pro
Stars
- All languages
- APL
- Agda
- Awk
- C
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- D
- Dockerfile
- Emacs Lisp
- Erlang
- Gleam
- Graphviz (DOT)
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Kotlin
- Lean
- Lua
- Makefile
- Mathematica
- Nearley
- OCaml
- Perl
- PostScript
- Python
- Racket
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Svelte
- TeX
- TypeScript
- Vala
- Vue
- XSLT
A proof assistant for higher-dimensional type theory
Code formatting and document conversion utilities for forester
Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
TeXpresso: live rendering and error reporting for LaTeX
Where we explore more interesting data types than just fixed points of polynomials
Implementation in OCaml of a strong reduction machine for Intuitionistic Multiplicative Exponential Linear Logic (IMELL) that has linear overhead on the number of reduction steps and the size of th…
Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future growth.
Formalization of normalization by evaluation for the fine-grain call-by-value language extended with algebraic effect theories
A digital archive of category theory papers.
Implementation of the lambda-lambda-bar calculus from "The Duality of Abstraction" https://vikraman.org/files/popl24-coexp.pdf
Quantum circuits compiler with staging and continuations
Procedure to change the SSID of the Vodafone Power Station
PietroLami / cauder
Forked from mistupv/cauderA Causal-Consistent Reversible Debugger for Erlang
A Causal-Consistent Reversible Debugger for Erlang
A lightweight window border system for macOS