Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 14, 2024

• lang-declarative-graphics: Extract package

  brendanzab

  committed
  4e4d02b

  Copy full SHA for 4e4d02b

• lang-fractal-tree-rewriting: Rename package

  brendanzab

  committed
  0ddc26a

  Copy full SHA for 0ddc26a

Commits on Dec 8, 2024

• wip-lang-browser-experiments: Initial commit

  brendanzab

  committed
  9b8d7ae

  Copy full SHA for 9b8d7ae

Commits on Dec 7, 2024

• dune-project: Bump dependency versions

  brendanzab

  committed
  3f11caa

  Copy full SHA for 3f11caa

Commits on Oct 30, 2024

• dune: Generate opam files from dune-project

  brendanzab

  committed
  f5ad1b5

  Copy full SHA for f5ad1b5

Commits on Sep 24, 2024

• opam: Update to latest package versions

  brendanzab

  committed
  35209b0

  Copy full SHA for 35209b0

Commits on Aug 27, 2024

• opam: Fix opam files

  brendanzab

  committed
  cd7a4c4

  Copy full SHA for cd7a4c4

Commits on Aug 21, 2024

• wip-compile-stlc: Add frontend

  brendanzab

  committed
  7bf8dbe

  Copy full SHA for 7bf8dbe

Commits on Aug 20, 2024

• wip-compile-stlc: Begin implementing a compiler for the STLC

  brendanzab

  committed
  3196bcf

  Copy full SHA for 3196bcf

Commits on Jun 28, 2024

• opam: Update mdx

  brendanzab

  committed
  1f48bea

  Copy full SHA for 1f48bea

Commits on Mar 7, 2024

• opam: Add missing opam file

  brendanzab

  committed
  f25eb96

  Copy full SHA for f25eb96

Commits on Mar 3, 2024

• lang-shader-graphics: Fix tests by requiring MDX < 2.4.0

  Show description for 3e890a8
  brendanzab

  committed
  3e890a8

  Copy full SHA for 3e890a8

• opam: Update dune version

  brendanzab

  committed
  efcbd2f

  Copy full SHA for efcbd2f

Commits on Feb 12, 2024

• elab: Implement normalisation subcommands

  brendanzab

  committed
  40ed5fd

  Copy full SHA for 40ed5fd

Commits on Feb 4, 2024

• treewide: Replace ocamllex with sedlexing

  brendanzab

  committed
  a577566

  Copy full SHA for a577566

Commits on Feb 1, 2024

• opam: Add some missing opam files

  brendanzab

  committed
  907516d

  Copy full SHA for 907516d

Commits on Jan 21, 2024

• lang-doc-templates: Use sedlex and menhir for parsing

  brendanzab

  committed
  2da0fc7

  Copy full SHA for 2da0fc7

• lang-doc-templates: Create doc template project

  brendanzab

  committed
  b647a4f

  Copy full SHA for b647a4f

• opam: Use explicit menhir version

  brendanzab

  committed
  77661f0

  Copy full SHA for 77661f0

Commits on Jan 16, 2024

• opam: Update packages

  brendanzab

  committed
  8c805a7

  Copy full SHA for 8c805a7

Commits on Nov 29, 2023

• elab-stlc-algebraic: Algebraic typechecking project

  brendanzab

  committed
  dfb36cb

  Copy full SHA for dfb36cb

Commits on Nov 28, 2023

• lang-lc-interpreters: Add lexer and parser

  brendanzab

  committed
  7d56912

  Copy full SHA for 7d56912

Commits on Nov 23, 2023

• lang-lc-name-binding: Create new project

  Show description for 3a185b0
  brendanzab

  committed
  3a185b0

  Copy full SHA for 3a185b0

Commits on Nov 13, 2023

• elab-dependent-sugar: Create new project with syntax sugar

  brendanzab

  committed
  db695c1

  Copy full SHA for db695c1

Commits on Sep 13, 2023

• lang-datalog: Begin datalog language

  brendanzab

  committed
  52aa079

  Copy full SHA for 52aa079

Commits on Sep 6, 2023

• flake.nix: Use opam-nix

  brendanzab

  committed
  0bfa688

  Copy full SHA for 0bfa688

Commits on Aug 12, 2023

• dune-project: Move opam files to ./opam/

  brendanzab

  committed
  4557d6d

  Copy full SHA for 4557d6d

Loading