-
-
-
ppxlib Public
Forked from ocaml-ppx/ppxlibBase library and tools for ppx rewriters
OCaml MIT License UpdatedSep 25, 2024 -
-
-
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
-
irmin Public
Forked from mirage/irminIrmin is a distributed database that follows the same design principles as Git
OCaml ISC License UpdatedJun 17, 2024 -
-
-
Launch.nvim Public
Neovim config - Modifed from LunarVim/Launch.nvim
Lua GNU General Public License v3.0 UpdatedApr 2, 2024 -
cvxpy Public
Forked from cvxpy/cvxpyA Python-embedded modeling language for convex optimization problems.
C++ Apache License 2.0 UpdatedFeb 20, 2024 -
flambda-backend Public
Forked from oxcaml/oxcamlThe Flambda backend project for OCaml
OCaml UpdatedAug 10, 2023 -
-
-
verilator Public
Forked from verilator/verilatorVerilator open-source SystemVerilog simulator and lint system
C++ GNU Lesser General Public License v3.0 UpdatedMar 8, 2023 -
-
tvm Public
Forked from apache/tvmOpen deep learning compiler stack for cpu, gpu and specialized accelerators
Python Apache License 2.0 UpdatedNov 15, 2022 -
-
-
python-bigquery Public
Forked from googleapis/python-bigqueryPython Apache License 2.0 UpdatedFeb 18, 2022 -
pyvcd Public
Forked from SanDisk-Open-Source/pyvcdPython package for writing Value Change Dump (VCD) files.
Python MIT License UpdatedFeb 11, 2022 -
-
ocaml-protoc Public
Forked from mransan/ocaml-protocA Protobuf Compiler for OCaml
OCaml MIT License UpdatedJan 8, 2022 -
reach-loop-verification Public
Tutorial on verifying loops in Reach
RenderScript MIT License UpdatedSep 21, 2021 -
-
reach-lang Public
Forked from reach-sh/reach-langReach: The Safest and Easiest DApp Programming Language
Haskell Apache License 2.0 UpdatedAug 12, 2021 -
-
sandmark Public
Forked from ocaml-bench/sandmarkBenchmarking the OCaml compiler and all its friends
OCaml UpdatedMay 22, 2021 -
memalloy Public
Forked from johnwickerson/memalloyMemory consistency modelling using Alloy
OCaml MIT License UpdatedDec 16, 2020 -
bigstringaf Public
Forked from inhabitedtype/bigstringafBigstring intrinsics and fast blits based on memcpy/memmove
{{ message }}