lthms
Follow
-
dream Public
Forked from aantron/dreamTidy, feature-complete Web framework
OCaml MIT License UpdatedJan 19, 2025 -
-
-
-
docs-etherlink Public
Forked from etherlinkcom/docsThe Etherlink documentation brought to you by Docusaurus 🤝
JavaScript MIT License UpdatedOct 18, 2024 -
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedAug 20, 2024 -
ezjsonm-encoding Public
Encoding combinators a la Data_encoding for Ezjsonm
-
riot Public
Forked from riot-ml/riotAn actor-model multi-core scheduler for OCaml 5 🐫
OCaml Other UpdatedMay 26, 2024 -
awesome-ocaml Public
Forked from ocaml-community/awesome-ocamlA curated collection of awesome OCaml tools, frameworks, libraries and articles.
UpdatedMay 25, 2024 -
spatial-shell Public
Implementing a spatial model inspired by Material Shell, for i3 and sway.
-
gluon Public
Forked from riot-ml/gluonMinimal, fast async engine for OCaml
OCaml Other UpdatedMay 21, 2024 -
-
nspawn Public
Opinionated helper to help me create systemd-nspawn containers
-
bepo-tsrn.nvim Public
Opinionated mappings for the bepo layout in Lua, remapping hjkl to tsrn instead of ctsr.
-
chains-1 Public
Forked from ethereum-lists/chainsprovides metadata for chains
Kotlin MIT License UpdatedMay 9, 2024 -
-
chainlist Public
Forked from DefiLlama/chainlistJavaScript GNU General Public License v3.0 UpdatedApr 22, 2024 -
teztnets-1 Public
Forked from tacoinfra/teztnetsRepository for the setup of the Tezos test network infrastructure
TypeScript UpdatedApr 2, 2024 -
vim-monotone Public
Forked from Lokaltog/vim-monotoneA dark, monochrome colorscheme for vim
Vim Script MIT License UpdatedMar 17, 2024 -
chains Public
Forked from alloy-rs/chainsCanonical type definitions for EIP-155 chains
Rust Apache License 2.0 UpdatedMar 8, 2024 -
FreeSpec Public
A framework for implementing and certifying impure computations in Coq
-
tezos-developer-docs Public
Forked from trilitech/tezos-developer-docsTezos Developer Docs (beta)
JavaScript MIT License UpdatedJan 15, 2024 -
cleopatra Public archive
cleopatra is a generic, extensible toolchain for literate programming projects
-
runcat-tray Public
Forked from chux0519/runcat-trayruncat system tray on Linux (using libappindicator)
C BSD 2-Clause "Simplified" License UpdatedJan 7, 2024 -
ogam Public
A markup language for story writers
-
zbg Public
Forked from chshersh/zbg✨ Zero Bullshit Git
OCaml Mozilla Public License 2.0 UpdatedJan 4, 2024 -
beacon Public
A process that periodically reaches a target at a fixed interval
Elixir GNU General Public License v3.0 UpdatedJan 1, 2024 -
keyr Public
A collection of tools to keep track of your keystrokes
-
awesome-coq Public
Forked from coq-community/awesome-coqA curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
Creative Commons Zero v1.0 Universal UpdatedDec 27, 2023