-
-
Roo-Code Public
Forked from RooCodeInc/Roo-CodeRoo Code (prev. Roo Cline) gives you a whole dev team of AI agents in your code editor.
TypeScript Apache License 2.0 UpdatedJun 4, 2025 -
-
-
pyodide-kernel Public
Forked from jupyterlite/pyodide-kernelPython kernel for JupyterLite powered by Pyodide
Python BSD 3-Clause "New" or "Revised" License UpdatedApr 11, 2025 -
-
-
-
creusot Public
Forked from creusot-rs/creusotCreusot helps you prove your code is correct in an automated fashion.
Rust GNU Lesser General Public License v2.1 UpdatedMar 20, 2024 -
-
mkdocs-git-timeline-plugin Public
Forked from timvink/mkdocs-git-authors-pluginMkDocs plugin to display concise summary of edit timeline of a page.
Python MIT License UpdatedOct 24, 2022 -
griffe Public
Forked from mkdocstrings/griffeSignatures for entire Python programs. Extract the structure, the frame, the skeleton of your project, to generate API documentation or find breaking changes in your API.
Python ISC License UpdatedOct 20, 2022 -
-
ankidict Public
Macmillan dictionary source for Anki
-
well-typed-hs Public
A well-typed interpreter of a simple functional programing language implemented in Haskell.
Haskell UpdatedJun 17, 2019 -
dvc Public
Forked from treeverse/dvcGit for data scientists - manage your code and data together
Python Apache License 2.0 UpdatedJun 10, 2018 -
-
-
libcypher-parser Public
Forked from cleishm/libcypher-parserCypher Parser Library
C Apache License 2.0 UpdatedDec 5, 2017 -
timesketch Public
Forked from google/timesketchCollaborative forensic timeline analysis
Python Apache License 2.0 UpdatedNov 2, 2017 -
-
redux-observable Public
Forked from redux-observable/redux-observableRxJS middleware for action side effects in Redux using "Epics"
JavaScript MIT License UpdatedJun 1, 2017 -
-
atom-inspect-python Public
-
{{ message }}