-
tezla Public
An intermediate representation of Michelson smart contracts designed to ease static analysis of smart contracts
-
-
michelson-adt Public
An OCaml library with an ADT representation of Michelson smart contracts syntax
OCaml MIT License UpdatedJun 3, 2025 -
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedMay 26, 2025 -
bap Public
Forked from BinaryAnalysisPlatform/bapBinary Analysis Platform
OCaml MIT License UpdatedMar 14, 2025 -
nixos-unified Public
Forked from srid/nixos-unifiedUnify NixOS + nix-darwin + home-manager configuration in a single flake, while providing a consistent interface at DX and UX level.
Nix MIT License UpdatedFeb 12, 2025 -
agenix Public
Forked from ryantm/agenixage-encrypted secrets for NixOS and Home manager
Nix Creative Commons Zero v1.0 Universal UpdatedJan 24, 2025 -
tezcheck Public
A static analysis tool for Michelson smart contracts
OCaml MIT License UpdatedJan 19, 2025 -
-
KVM-Opencore Public
Forked from thenickdude/KVM-OpencoreOpenCore disk image for running macOS VMs on Proxmox/QEMU
Makefile GNU General Public License v3.0 UpdatedNov 30, 2024 -
react-quill Public
Forked from zenoamaro/react-quillA Quill component for React.
JavaScript MIT License UpdatedAug 17, 2024 -
MUI X: Build complex and data-rich applications using a growing list of advanced React components, like the Data Grid, Date and Time Pickers, Charts, and more!
TypeScript UpdatedJun 2, 2024 -
docs2 Public
Forked from MinaProtocol/docs2Docs website for the Mina Protocol.
JavaScript UpdatedApr 18, 2024 -
apkupdater Public
Forked from rumboalla/apkupdaterAPKUpdater is an open source tool that simplifies the process of finding updates for your installed apps.
Kotlin GNU General Public License v3.0 UpdatedMar 6, 2024 -
o1js Public
Forked from robrobbins/o1jsTypeScript framework for zk-SNARKs and zkApps
TypeScript Apache License 2.0 UpdatedFeb 21, 2024 -
opam-repository-fork Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedJan 22, 2024 -
joxi Public
Forked from onmax/joxiAn automatic personal finance tracker for your banks and crypto. All your finance data in Notion.
TypeScript UpdatedAug 28, 2023 -
joxi-github-action Public
Forked from onmax/joxi-github-actionA GitHub action for joxi: An automatic personal finance tracker for your banks and crypto. All your finance data in Notion.
Dockerfile UpdatedAug 15, 2023 -
go-libp2p-kad-dht-patcher Public
Forked from o1-labs/go-libp2p-kad-dht-patcherUtility to patch the peer protection logic in go-libp2p-kad-dht
Go MIT License UpdatedJul 11, 2023 -
paperless_app Public
Forked from bauerj/paperless_appAn Android/iOS app for Paperless
Dart GNU General Public License v3.0 UpdatedSep 18, 2022 -
homeassistant-powercalc Public
Forked from bramstroker/homeassistant-powercalcCustom component to calculate estimated power consumption of lights and other appliances
Python MIT License UpdatedAug 11, 2022 -
haskell-schnorr Public
Authentication system based on the Schnorr protocol
Haskell UpdatedMay 21, 2022 -
-
-
-
-
-
softcheck Public
A platform for generic, reusable, extensible, simple and compositional data flow analysis.
-
{{ message }}