
- Japan
- @lmdexpr
- @lmdexpr.com
- All languages
- Agda
- Assembly
- C
- C++
- CSS
- Common Lisp
- Coq
- Dockerfile
- Elixir
- Elm
- Erlang
- F#
- F*
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Lean
- Lua
- Makefile
- Markdown
- Mercury
- Nix
- Nushell
- OCaml
- Objective-C
- PHP
- Python
- ReScript
- Reason
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- TypeScript
- V
- Vim Script
- Vue
- WebAssembly
Starred repositories
Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.
a nixos implementation of hyprdots, a hyprland dotfiles configuration
Linux 🐧 configuration based on NixOS ❄️, Hyprland, and Catppuccin Macchiato theme 😸 for a consistent, complete, and customizable experience. 🚀
ocaml-mlx / ocamlformat-mlx
Forked from ocaml-ppx/ocamlformatAuto-formatter for OCaml .mlx code
OCaml .mlx syntax dialect which adds JSX syntax expressions
A CLI interface for Marp and Marpit based converters
᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
Documentation of everything relevant in the OCaml world
The Flambda backend project for OCaml
Eff monad for cats - https://atnos-org.github.io/eff
Open Quantum Toolchain for OPerators & USers (OQTOPUS) is a project that provides the architecture of cloud quantum computers as an open-source software (OSS).
Build Rust projects in Nix - no configuration, no code generation, no IFD, sandbox friendly.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
The library for web and native user interfaces.
probabilistic logic programming language for statistical modeling
There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…