Create your own GitHub profile
Join the platform over 31 million developers call home for hosting code, managing projects, and building their best software.
Sign up for free See pricing for teams and enterprises
Popular repositories
-
icfp2016-papers
Link to preprints for ICFP'16 and co-located events
-
icfp2017-papers
Link to preprints for ICFP'17 and colocated events
-
popl2016-papers
Links to publicly available preprints for the POPL'16 conference
-
popl2017-papers
Link to preprints for POPL'17 and co-located events
-
popl2018-papers
Link to preprints for POPL'18 and colocated events
-
icfp2013-papers
List of ICFP'13 accepted papers, with links to preprint or additional information when available
1,151 contributions in the last year
Activity overview
Contribution activity
April 2019
Created a pull request in ocaml/ocaml that received 10 comments
Let’s make it possible to read a file using the stdlib
In Stdlib: val really_input_up_to : in_channel -> bytes -> int -> int -> int (** [really_input ic buf pos len] reads at most [len] characters from…
- fix upper bound on js_of_ocaml-ppx.3.0.2
- [WIP] pre-release of ppx_deriving.4.3
- older ppx_deriving_yojson releases are incompatible with ppx_deriving.4.3
- ppx_deriving_morphism: current releases don't support ppx_deriving.4.3
- ppx_deriving_hardcaml: older releases don't support ppx_deriving.4.3
- ppx_deriving_crowbar: add ppx_deriving upper bound due to build system bug
- ppx_deriving_cmdliner<0.4.1 is incompatible with ppx_deriving>=4.3
- links: fix dependencies on the ocaml version
- js_of_ocaml-ppx.3.0.2 is incompatible ppx_deriving>=4.3
- elpi < 1.0.5 needs ppx_tools_versioned < 5.2.1.
- visitors depends on cppo_ocamlbuild
- Fix #8635
- Ensure that Gc.minor_words remains accurate after a GC.
- Add a non-regression test for #7865
- Improve location information in Lambda code
- #8610: toplevel printing, consistent deduplicated name for types
- Add opam files to allow pinning
- Pprintast: add parentheses around `fun (type t) -> ...` and in `(lazy ...)` patterns
- Custom Exception Handlers at toplevel
- Merge duplicated section in Changes
- Adding -stop-after lambda flag option in ocaml{c,opt}
- Get rid of the stdlib/Compflags script
- Replace "not is_nonexpansive" by "maybe_expansive"
- Optimization contributions should be justified with empirical evidence
- optimize some buffer operations (implements #6148)
- manual: update references to toplevel improvements
- manual: fix cross-reference test
- Runtime: fix hex float parsing with underscore in exponent
- Update README.adoc for 4.08
- Apply peephole optimizations to if conditions
- Better error message for private constructors of extensible types
- runtime: re-enable build/install of PIC libraries