profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/avsm/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Anil Madhavapeddy avsm University of Cambridge Cambridge, UK http://anil.recoil.org/

avsm/actions-ocaml 11

GitHub Actions for OCaml projects

avsm/ae-location 6

Personal location tracker using AppEngine

avsm/bushel 5

livejournal, we miss youuuu

amirmc/signpost-www 2

Website infrastructure for Signpost

avsm/avsm-ci.logs 1

Logs for my personal CI

avsm/bootstrap 1

HTML, CSS, and JS toolkit from Twitter

avsm/caml-type-conv-json 1

Repository has moved to http://github.com/avsm/ocaml-json-tc

amirmc/mirage-www 0

Website infrastructure for openmirage.org

push eventocurrent/ocaml-ci

Thomas Leonard

commit sha e4bf76ce38645b51bb740cb04e579358cda24d7c

Merge pull request #359 from tmcgilchrist/check_run Record build status as CheckRun.

view details

Lucas Pluvinage

commit sha aa0d5e6dae4a008d7687f77892fe26b69332a18f

Vendor ocaml-matrix

view details

Lucas Pluvinage

commit sha 7b6111d92159183099f8428f5a552021d78d3260

Use ocaml-matrix to publish status reports

view details

Lucas Pluvinage

commit sha 97cfb9b7aaf1bfac14c6497c7a34b56a845e03bd

fixup: dockerfile

view details

Lucas Pluvinage

commit sha 490767950adbb8ef9c492eac565d173e7ff656d1

fixup in ocaml-matrix and add ocaml-ci/ as a prefix for room names

view details

push time in 9 hours

push eventavsm/jekyll-format

Anil Madhavapeddy

commit sha 2f719981eb7a739797cab3f716f1ae58e3793682

update dune metadata to be generated with 2.9

view details

push time in a day

issue commentrealworldocaml/book

runtime: update GC colours section

currently WIP in https://github.com/sadiqj/book/tree/gc_colours

avsm

comment created time in a day

push eventocaml/v3.ocaml.org-server

Thibaut

commit sha 0c983b06839dff751428c8e4240267c57f3c5369

Serve pages from the server Signed-off-by: Anil Madhavapeddy <anil@recoil.org>

view details

Anil Madhavapeddy

commit sha 3ac61bcf6c08ac7af7aeac93c63597a07d3a5f52

Merge pull request #101 from ocaml/ssr Server pages from the server

view details

push time in 3 days

PR merged ocaml/v3.ocaml.org-server

Server pages from the server

This PR aligns the various HTML generation technologies used in the v3.ocaml.org site into a single server and monorepo. Previously, we had four different stacks while pulling together the unified site design:

  • ReScript/NextJS for static HTML
  • odoc+Tailwind output for static docs
  • opam2web for static package information
  • Dream+styling for the documentation browser

As we move towards a more feature-complete v3 site, all of these are now consolidated under the Dream-based web server, with a single set of OCaml source code that provides the templating logic for all portions of the site. Previously, the Tailwind logic was spread among multiple tools (odoc/opam2web/nextjs) and languages (ReScript/OCaml) and difficult to keep unified across the site.

There are several features that would benefit from ReScript (primarily those that require complex interactivity such as playgrounds) which we would like to revisit in v4 of the site. We've taken the decision to consolidate around OCaml for this iteration of the site, and come back to the more ambitious plans next year once v3 goes live. This PR maintains all of the commit histories of the ReScript site and bindings so that it can be brought back later.

+1993 -49875

0 comment

381 changed files

tmattio

pr closed time in 3 days

PullRequestReviewEvent
CommitCommentEvent
PullRequestReviewEvent

pull request commentrealworldocaml/mdx

add Jupyter output

rebased to current trunk

avsm

comment created time in 4 days

push eventavsm/mdx

Nathan Rebours

commit sha 8e5afed5931e4c2e0aa91c6fae5c5a83b0233b92

Fix 4.11 build which doesn't require beta anymore

view details

Nathan Rebours

commit sha a518016af0f68881c466bc007b0451bd0381f018

Merge pull request #290 from realworldocaml/upgrade-ci Fix 4.11 build which doesn't require beta anymore

view details

Guillaume Petiot

commit sha 8362f66d65ea29cfa22e60e08a20a2f5bf3c4a3e

Include blocks do not require an empty block anymore

view details

Guillaume Petiot

commit sha dbddc3a9f3d6134c27571fb14b2b44b768928250

Handle no such file exception

view details

Guillaume Petiot

commit sha 7554ddec0c8715972052af96e5c250a81cd07ddb

Merge pull request #286 from gpetiot/no-include-blocks Include blocks do not require an empty block anymore

view details

Guillaume Petiot

commit sha b028158d3a32028f1e555084f6585b755b9879d2

Merge pull request #292 from gpetiot/no-such-file Handle no such file exception

view details

Guillaume Petiot

commit sha e2006b78ee5901fa2bc0240b10eb9201d910ab9b

Keep parsing locations for toplevel commands instead of recomputing lines and columns

view details

Guillaume Petiot

commit sha 04bc0925ca0bfc58271504131c7b2cb3510cb1c9

Merge pull request #241 from gpetiot/block-loc Keep locations from parsing instead of recomputing the lines, providing better error messages

view details

Guillaume Petiot

commit sha eed6ce82f7d5c0a974c0361100c1323634588436

Mdx_top.init can be parameterized by dirs, packages and predicates

view details

Guillaume Petiot

commit sha b056a89e37383731f2795a2cf62edeea5c60b8a4

Merge pull request #244 from gpetiot/parameterize-toplevel-env Mdx_top.init can be parameterized by dirs, packages and predicates

view details

Thibaut Mattio

commit sha 892a4ccce2a182e249c8ff71f10d1a73bdf08539

Use with-accepted-exit-codes for failure tests

view details

Thibaut Mattio

commit sha 1609e7f283f79a4e714d83287e90af99d52f98a0

Promote dune.inc

view details

Thibaut Mattio

commit sha e382dc1c3fe2e060e81ac708b0976460291611ee

Add a changelog entry

view details

Thibaut Mattio

commit sha 53cbe2b453a50495143023fc4e31b30179955847

Bump dune lower bound in opam file

view details

Thibaut Mattio

commit sha ba69f4f8c2b4869436fa81ef83172a1912e9bed7

Move changelog entry

view details

Thibaut Mattio

commit sha c1ba8c9df322ed6e4d4e7c26d141534cd1062832

Re-write changelog entry

view details

Thibaut Mattio

commit sha cf0ff2afaa8ef57ecc52a0b70c01890f4a417581

Generate opam file from dune-project

view details

Thibaut Mattio

commit sha cb18fb5c2161e00830c1afa6b8ddac9e9abbbfb9

Remove changelog entry

view details

Nathan Rebours

commit sha bb4843dd5f76b6e7a1c97f7c9777532394bd40ca

Merge pull request #301 from tmattio/windows-tests Fix unit tests on Windows

view details

Nathan Rebours

commit sha 122c5132c6bedb0cd637a65e205f070e3a534220

Merge pull request #302 from tmattio/generate-opam-file Generate opam file from dune-project

view details

push time in 4 days

push eventavsm/opam2web

Anil Madhavapeddy

commit sha 6c4e3dae52e35514e406df81fbce92802ec0330f

dockerfile: generate a correct archive-mirror url for the cache fixes #201

view details

push time in 5 days

pull request commentocaml/ood

Import 99 problems

What is the status of this PR before archiving this repository?

tmattio

comment created time in 6 days

pull request commentocaml/v3.ocaml.org-server

Merge ood

Looks good. Could we also have a companion PR to ocaml/ood to mark it as deprecated in the README and point to this repo as the canonical one? I can then mark ocaml/ood as read only and deprecated.

tmattio

comment created time in 6 days

create barnchavsm/opam2web

branch : deploy-fixes

created branch time in 7 days

push eventrealworldocaml/book

Anil Madhavapeddy

commit sha 22556ed06a5b8364b469fda38cf25c78161fee85

more

view details

push time in 10 days

pull request commentocsigen/lwt

Lwt_domain: an interface to multicore parallelism

It looks like there is a real error here in the CI:

File "src/unix/lwt_domain.ml", line 24, characters 42-43:
24 | let pool = ref (T.setup_pool ~num_domains:0)
                                               ^
Error: The function applied to this argument has type
         num_additional_domains:int -> Domainslib__Task.pool

Is this expected @Sudha247?

Sudha247

comment created time in 11 days

fork avsm/focs-notebooks

Foundations of Computer Science notebooks

fork in 11 days

push eventrealworldocaml/book

Anil Madhavapeddy

commit sha de5bfeae9c65a37a4893b796b659c540793746e4

more

view details

push time in 12 days

push eventrealworldocaml/book

Yaron M. Minsky

commit sha e54d3a83543b5ddb7c571e296b24405c7dd51360

updated README

view details

Yaron M. Minsky

commit sha dfb9a310b6c214b4fd2e1437adf71b52b4c6e9d4

Merge branch 'master' into improve-testing-text

view details

Yaron M. Minsky

commit sha a59b7d5c8f39510714c53851b3c63fa5a7585c97

fixed some directories

view details

Yaron M. Minsky

commit sha 5895098eab28466df549ffc20eba43a3c54ce213

promotions

view details

Yaron M. Minsky

commit sha b2b63301fc64c5f57b2f44aba66f24dc5142bd6d

minor tweaks

view details

Yaron M. Minsky

commit sha 70fb1d59f8775b783b3198a1c2370d5b0b8f5d68

expect tests before property tests

view details

Yaron M. Minsky

commit sha b635fd878e75154702c3bd6308d6a65e0c34de70

added initial test

view details

Yaron M. Minsky

commit sha 3924e07e66c7456156fd31fd35e513b41a69ef98

promotions

view details

Yaron M. Minsky

commit sha 536ca674bbb13164d401c331e5a6d8ed4da72ff6

small fix

view details

Sora Morimoto

commit sha 521774ed1f0ab196e18ce0d512f3706e609d9de1

gha: optimise the workflow Signed-off-by: Sora Morimoto <sora@morimoto.io>

view details

Yaron M. Minsky

commit sha a7a4f98d440d2528e6a326b875dfef58714d6aeb

more examples

view details

Yaron M. Minsky

commit sha 7603c1f21d685775eb15f47b9ecf1384107bb2b3

more examples

view details

Yaron M. Minsky

commit sha 83c406653404669ad7e04d32b9e78b10b61c8d3d

progress

view details

Yaron M. Minsky

commit sha 920e42d822e91350e8bcfb7eb90695e4c7529574

Merge branch 'master' into improve-testing-text

view details

Yaron M. Minsky

commit sha b901276d59187f759191c99ee6b26b9ba0023ad3

promote

view details

Yaron M. Minsky

commit sha 1c5ac475751f2b5900a296930e3ec01ed9e5f7f9

more promotions, and some tweaks

view details

Yaron M. Minsky

commit sha a5a6592d2fb3306164bb7195898b8b9bf3a4834f

more promotions, and some tweaks

view details

Yaron M. Minsky

commit sha 944db327cafca6b1aaf1c6c100e1bb174c65c8a1

added echo test original

view details

Yaron M. Minsky

commit sha 88734819b528848de696a7c0162be2bd2f6f62f4

promotions

view details

Yaron M. Minsky

commit sha 54b91e779fd77c3c98651e1ddf72db68736d7ef1

about to do another test

view details

push time in 12 days

issue openedrealworldocaml/book

fix pdf internal xrefs

The Markdown uses

[Maps And Hash Tables](maps-and-hashtables.html#maps-and-hash-tables){data-type=xref}

which doesn't correctly in the LaTeX backend at all.

created time in 12 days

delete branch realworldocaml/book

delete branch : object-fixes

delete time in 14 days

push eventavsm/book

Yaron M. Minsky

commit sha e54d3a83543b5ddb7c571e296b24405c7dd51360

updated README

view details

Yaron M. Minsky

commit sha dfb9a310b6c214b4fd2e1437adf71b52b4c6e9d4

Merge branch 'master' into improve-testing-text

view details

Yaron M. Minsky

commit sha a59b7d5c8f39510714c53851b3c63fa5a7585c97

fixed some directories

view details

Yaron M. Minsky

commit sha 5895098eab28466df549ffc20eba43a3c54ce213

promotions

view details

Yaron M. Minsky

commit sha b2b63301fc64c5f57b2f44aba66f24dc5142bd6d

minor tweaks

view details

Yaron M. Minsky

commit sha 70fb1d59f8775b783b3198a1c2370d5b0b8f5d68

expect tests before property tests

view details

Yaron M. Minsky

commit sha b635fd878e75154702c3bd6308d6a65e0c34de70

added initial test

view details

Yaron M. Minsky

commit sha 3924e07e66c7456156fd31fd35e513b41a69ef98

promotions

view details

Yaron M. Minsky

commit sha 536ca674bbb13164d401c331e5a6d8ed4da72ff6

small fix

view details

Sora Morimoto

commit sha 521774ed1f0ab196e18ce0d512f3706e609d9de1

gha: optimise the workflow Signed-off-by: Sora Morimoto <sora@morimoto.io>

view details

Yaron M. Minsky

commit sha a7a4f98d440d2528e6a326b875dfef58714d6aeb

more examples

view details

Yaron M. Minsky

commit sha 7603c1f21d685775eb15f47b9ecf1384107bb2b3

more examples

view details

Yaron M. Minsky

commit sha 83c406653404669ad7e04d32b9e78b10b61c8d3d

progress

view details

Yaron M. Minsky

commit sha 920e42d822e91350e8bcfb7eb90695e4c7529574

Merge branch 'master' into improve-testing-text

view details

Yaron M. Minsky

commit sha b901276d59187f759191c99ee6b26b9ba0023ad3

promote

view details

Yaron M. Minsky

commit sha 1c5ac475751f2b5900a296930e3ec01ed9e5f7f9

more promotions, and some tweaks

view details

Yaron M. Minsky

commit sha a5a6592d2fb3306164bb7195898b8b9bf3a4834f

more promotions, and some tweaks

view details

Yaron M. Minsky

commit sha 944db327cafca6b1aaf1c6c100e1bb174c65c8a1

added echo test original

view details

Yaron M. Minsky

commit sha 88734819b528848de696a7c0162be2bd2f6f62f4

promotions

view details

Yaron M. Minsky

commit sha 54b91e779fd77c3c98651e1ddf72db68736d7ef1

about to do another test

view details

push time in 14 days

pull request commentocaml/opam-repository

4 packages from sneeuwballen/zipperposition at 2.1

suggestions for algorithms to constraint solve that lower-bound bisection are welcome :-)

c-cube

comment created time in 18 days

pull request commentocurrent/ocaml-ci

Report state on a Matrix server

I'll push this to live shortly, but would really like the vendored matrix libraries to be released so we don't have a bunch of git submodules in the longer term. What's the release status of that to opam-repo @TheLortex @clecat?

TheLortex

comment created time in 19 days

pull request commentocurrent/ocaml-ci

Report state on a Matrix server

Tested manually on ocamllabs.io's matrix server, and working well! image

TheLortex

comment created time in 19 days

pull request commentrealworldocaml/book

Fix typo in lists-and-patterns

thanks!

TimPushkin

comment created time in 19 days

push eventrealworldocaml/book

TimPushkin

commit sha 3c4cf2ff94a38d1f2d3be62940a39d04f730b301

Fix typo in lists-and-patterns

view details

Anil Madhavapeddy

commit sha 8f392f8652849a41319be458b876af8e6fb1c03c

Merge pull request #3452 from TimPushkin/fix-typo Fix typo in lists-and-patterns

view details

push time in 19 days

PR merged realworldocaml/book

Fix typo in lists-and-patterns

Fixes a typo in "Lists and Patterns" chapter.

+1 -1

0 comment

1 changed file

TimPushkin

pr closed time in 19 days

delete branch avsm/book

delete branch : 412-updage

delete time in 19 days

push eventrealworldocaml/book

Sora Morimoto

commit sha 521774ed1f0ab196e18ce0d512f3706e609d9de1

gha: optimise the workflow Signed-off-by: Sora Morimoto <sora@morimoto.io>

view details

Anil Madhavapeddy

commit sha 92164e7711e30cc9a54edeff0f38bf83756e355d

upgrade to 4.12.0

view details

Anil Madhavapeddy

commit sha e30585a6782988a06bd3d58b4cb5c1db83f3c1af

upgrade to ocaml 4.12.0

view details

Anil Madhavapeddy

commit sha 819a454fa6b514f65c391366a66f0b2e7b201a67

update duniverse for ocaml 4.12.0

view details

Anil Madhavapeddy

commit sha bca82dfaf2fd82a92b77d10475cc1cbacaec931a

update text to 4.12.0

view details

Anil Madhavapeddy

commit sha c05d945658b2017d05a428bace9a73601c2ac8ce

update lockfile

view details

Anil Madhavapeddy

commit sha b7a75495b915c8d2cf70646c63c55a96747d7965

fix

view details

Anil Madhavapeddy

commit sha 9dae3ccdf7f0e166b853db46b9eb4a1b43f8cce1

Merge branch 'github-actions' of github.com:smorimoto/book into 412-updage

view details

Anil Madhavapeddy

commit sha 69e00c97dd82ea376dbd35013084c8f2319659cd

disable macos tests for now

view details

Anil Madhavapeddy

commit sha ed9f93b80e711bad12b21fdc38e4b0d467bf288c

Merge pull request #3456 from avsm/412-updage Update to 4.12.0

view details

push time in 19 days