-
-
-
-
-
evergarden Public
Forked from everviolet/nvim🌹 a comfy neovim colorscheme for cozy morning coding.
Lua European Union Public License 1.2 UpdatedFeb 22, 2026 -
-
-
-
-
-
-
-
Algorithms-Moonbit Public
Forked from moonbit-community/Algorithms-MoonbitAlgorithms in moonbit.
MoonBit Apache License 2.0 UpdatedOct 2, 2025 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedSep 21, 2025 -
tp-lean-zh Public
Forked from Lean-zh/tp-lean-zhLean 定理证明
JavaScript Apache License 2.0 UpdatedSep 15, 2025 -
typechecker-zoo Public
my typechecker-zoo implementation in haskell
Nix MIT License UpdatedSep 10, 2025 -
nanopi-image Public
Forked from bdew/nixos-nanopiBootable NixOS image for NanoPi R5S
Nix MIT License UpdatedSep 8, 2025 -
-
core Public
Forked from moonbitlang/coreMoonBit's Core library
MoonBit Apache License 2.0 UpdatedSep 5, 2025 -
-
moonbit.nix Public
moonbit.nix is infrastructure for building Moonbit packages with Nix
MIT License UpdatedSep 4, 2025 -
-
benchmark-fft Public
Forked from moonbit-community/benchmark-fftFFT benchmark to compare performance of MoonBit with other languages
Python Apache License 2.0 UpdatedSep 1, 2025 -
-
cmp-agda-symbols Public
Forked from Arkissa/cmp-agda-symbolsLua GNU Affero General Public License v3.0 UpdatedJul 25, 2025 -
haskell-tree-sitter-moonbit Public
tree-sitter-compatible grammars for moonbit
Haskell MIT License UpdatedJul 24, 2025 -
haskell-tree-sitter Public
tree-sitter package extracted from tree-sitter/haskell-tree-sitter
Haskell Other UpdatedJul 24, 2025 -
x Public
Forked from moonbitlang/xexperimental packages for moonbitlang/core
MoonBit UpdatedJul 21, 2025 -
moonbit-overlay Public
Forked from moonbit-community/moonbit-overlayReproducible nix overlay of binary distributed MoonBit toolchains and LSP
Nix UpdatedJul 21, 2025 -
dev-flake-template Public template
template
{{ message }}