-
vim-ocaml Public
Forked from ocaml/vim-ocamlVim runtime files for OCaml
Vim Script UpdatedNov 25, 2024 -
herdtools7 Public
Forked from herd/herdtools7The Herd toolsuite to deal with .cat memory models (version 7.xx)
OCaml Other UpdatedAug 4, 2024 -
xen-test-vm Public
Forked from xapi-project/xen-test-vmMinimal VM for testing Xen
OCaml MIT License UpdatedJul 21, 2024 -
xs-opam Public
Forked from xapi-project/xs-opamOpam repository for OCaml libraries to build Citrix Hypervisor toolstack components
Shell MIT License UpdatedJul 13, 2024 -
solo5 Public
Forked from Solo5/solo5A sandboxed execution environment for unikernels
C ISC License UpdatedMay 31, 2024 -
gruvbox Public
Forked from gruvbox-community/gruvboxRetro groove color scheme for Vim - community maintained edition
Vim Script MIT License UpdatedMay 22, 2024 -
KDE-DynamicThemeGenerator Public
Forked from DenysMb/KDE-DynamicThemeGeneratorSimple script to generate dynamic wallpaper (light and dark) from two selected images.
Shell UpdatedMay 19, 2024 -
mirage-xen Public
Forked from mirage/mirage-xenXen core platform libraries for MirageOS
C ISC License UpdatedMay 18, 2024 -
merlin Public
Forked from ocaml/merlinContext sensitive completion for OCaml in Vim and Emacs
OCaml MIT License UpdatedJan 29, 2024 -
nvim-treesitter Public
Forked from nvim-treesitter/nvim-treesitterNvim Treesitter configurations and abstraction layer
Lua Apache License 2.0 UpdatedMay 30, 2023 -
unipi Public
Forked from robur-coop/unipiServing content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
OCaml UpdatedMay 22, 2022 -
ocaml-dns Public
Forked from mirage/ocaml-dnsOCaml implementation of the DNS protocol
OCaml BSD 2-Clause "Simplified" License UpdatedMay 6, 2022 -
vim-polyglot Public
Forked from sheerun/vim-polyglotA solid language pack for Vim.
Vim Script UpdatedFeb 22, 2022 -
shellder Public
Forked from simnalamburt/shellder🐚 Featured zsh/fish shell theme
Shell Other UpdatedFeb 20, 2022 -
saur Public
Forked from refutationalist/saurSam's AUR -- personal Arch packages
Shell UpdatedJan 30, 2022 -
ale Public
Forked from dense-analysis/aleCheck syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support
Vim Script BSD 2-Clause "Simplified" License UpdatedMay 27, 2021 -
nvim-lspconfig Public
Forked from neovim/nvim-lspconfigQuickstart configurations for the Nvim LSP client
Lua Other UpdatedMay 19, 2021 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedMay 15, 2021 -
ocaml-lsp Public
Forked from ocaml/ocaml-lspOCaml Language Server Protocol implementation
OCaml Other UpdatedMay 15, 2021 -
ISO8601.ml Public
Forked from ocaml-community/ISO8601.mlParser and printer for date-times in ISO8601
-
ocaml-magic-mime Public
Forked from mirage/ocaml-magic-mimeConvert file extensions to MIME types
OCaml ISC License UpdatedMar 13, 2021 -
stdext Public
Forked from xapi-project/stdextCitrix's (deprecated) extensions to the ocaml standard library
OCaml Other UpdatedJan 24, 2021 -
conan Public
Forked from mirage/conanLike detective conan, find clue about the type of the file
OCaml UpdatedNov 25, 2020 -
opam Public
Forked from ocaml/opamopam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
OCaml Other UpdatedNov 20, 2020 -
xapi-storage-script Public
Forked from xapi-project/xapi-storage-scriptA xapi storage adapter that calls out to scripts, one script per operation
OCaml Other UpdatedOct 8, 2020 -
numbers.vim Public
Forked from myusuf3/numbers.vimnumbers.vim is a vim plugin for better line numbers
Vim Script MIT License UpdatedSep 30, 2020 -
bisect_ppx Public
Forked from aantron/bisect_ppxCode coverage for OCaml and Reason
OCaml MIT License UpdatedSep 18, 2020 -
tree-sitter-ocaml Public
Forked from tree-sitter/tree-sitter-ocamlOCaml grammar for tree-sitter
JavaScript UpdatedSep 14, 2020 -
prettygoodmusicplayer Public
Forked from smithdtyler/prettygoodmusicplayerA music player app for Android hits the basics hard
Java GNU General Public License v3.0 UpdatedJul 25, 2020 -
{{ message }}