paldepind
Follow
-
projectdo Public
Context-aware single-letter project commands to speed up your terminal workflow.
-
codeql Public
Forked from github/codeqlCodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
CodeQL MIT License UpdatedMar 8, 2025 -
-
codeql-action Public
Forked from github/codeql-actionActions for running CodeQL analysis
TypeScript MIT License UpdatedSep 10, 2024 -
codeql.nvim Public
Forked from pwntester/codeql.nvimCodeQL plugin for Neovim
Lua UpdatedSep 1, 2024 -
-
codeql-zero-to-hero Public
Forked from GitHubSecurityLab/codeql-zero-to-heroCodeQL zero to hero blog post series challenges
CodeQL UpdatedJul 10, 2024 -
book Public
Forked from rust-lang/bookThe Rust Programming Language
Rust Other UpdatedMay 27, 2024 -
-
flutter Public
Forked from flutter/flutterFlutter makes it easy and fast to build beautiful apps for mobile and beyond
Dart BSD 3-Clause "New" or "Revised" License UpdatedFeb 20, 2024 -
assets-for-api-docs Public
Forked from flutter/assets-for-api-docsStatic assets for embedding into docs.flutter.io
Dart BSD 3-Clause "New" or "Revised" License UpdatedFeb 8, 2024 -
flyd Public
The minimalistic but powerful, modular, functional reactive programming library in JavaScript.
-
-
drift Public
Forked from simolus3/driftDrift is an easy to use, reactive, typesafe persistence library for Dart & Flutter.
Dart MIT License UpdatedJan 3, 2024 -
-
awsm.fish Public
Forked from jorgebucaran/awsm.fishA curation of prompts, plugins & other Fish treasures 🐚💎
Creative Commons Zero v1.0 Universal UpdatedJul 2, 2023 -
smartcolumn.nvim Public
Forked from m4xshen/smartcolumn.nvimA Neovim plugin hiding your colorcolumn when unneeded.
Lua MIT License UpdatedFeb 19, 2023 -
composable.el Public
Composable text editing for Emacs.
-
-
perennial Public
Forked from mit-pdos/perennialVerifying concurrent crash-safe systems
Coq MIT License UpdatedSep 9, 2021 -
iris-named-props Public
Forked from tchajed/iris-named-propsNamed Props for Iris
Coq MIT License UpdatedMay 24, 2021 -
iris-simp-lang Public
Forked from tchajed/iris-simp-langWe define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
Coq UpdatedMar 5, 2021 -
-
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedDec 6, 2020 -
-
learn-tt Public
Forked from jozefg/learn-ttA collection of resources for learning type theory and type theory adjacent fields.
2 UpdatedAug 12, 2020 -
finger-tree Public
Highly optimized implementation of finger trees in JavaScript
-
unicode-latex Public
Forked from ojsheikh/unicode-latexA visual studio code extension to insert Unicode symbols given LaTeX symbol names
TypeScript MIT License UpdatedJan 31, 2020 -
doom-emacs Public
Forked from doomemacs/doomemacsAn Emacs configuration for the stubborn martian vimmer
Emacs Lisp MIT License UpdatedNov 21, 2019 -
ramda Public
Forked from ramda/ramda🐏 Practical functional Javascript