-
ktlint-gradle Public
Forked from JLLeitschuh/ktlint-gradleA ktlint gradle plugin
Kotlin MIT License UpdatedOct 29, 2024 -
wordcraft Public
Forked from PAIR-code/wordcraft✨✍️ Wordcraft is an AI-powered text editor with an emphasis on short story writing
TypeScript Apache License 2.0 UpdatedMar 12, 2024 -
zed Public
Forked from zed-industries/zedCode at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Rust Other UpdatedMar 6, 2024 -
-
-
wildebeest Public
Forked from cloudflare/wildebeestWildebeest is an ActivityPub and Mastodon-compatible server
TypeScript Other UpdatedApr 15, 2023 -
FocusedTask Public
Forked from RStankov/FocusedTaskMacOS menu bar todo app built with Electron, React and Redux. It goals is to help you do deep work.
TypeScript MIT License UpdatedApr 4, 2023 -
kotlin-logging Public
Forked from oshai/kotlin-loggingLightweight logging framework for Kotlin. A convenient and performant logging facade.
Kotlin Other UpdatedNov 2, 2022 -
-
agda2hs-map Public
Forked from flupe/verification-templateTUD - Bachelors of CSE Research Project
-
agda2hs Public
Forked from agda/agda2hsCompiling Agda code to readable Haskell
Agda MIT License UpdatedJun 18, 2021 -
reflect-contracts Public
Forked from reflectfinance/reflect-contractsSolidity GNU General Public License v3.0 UpdatedApr 25, 2021 -
2019 Public
Forked from epfl-ada/2019Materials for Applied Data Analysis CS-401, fall 2019)
Jupyter Notebook UpdatedJan 4, 2021 -
chsh-bell-inequality Public
Influence of noise on correlation between Entangled particles (QuTiP Jupyter Notebook)
-
-
formik Public
Forked from jaredpalmer/formikBuild forms in React, without the tears 😭
TypeScript MIT License UpdatedJun 3, 2020 -
sttp-book Public
Forked from sf105/sttp-bookThe "Software Testing: From Theory to Practice" book (source)
Shell UpdatedApr 27, 2020 -
code-examples Public
Forked from sttp-book/code-examplesCode examples from the book
Java UpdatedApr 24, 2020 -
tribler.github.com Public
Forked from Tribler/tribler.github.comThe Tribler.org website
HTML UpdatedJul 21, 2019 -
reee-bot-discord Public
Discord bot that replies with REEE when triggered.
JavaScript MIT License UpdatedJan 25, 2019 -
competitions Public
Forked from CSEdelft/competitionsmonthly coding competitions
UpdatedOct 10, 2018 -
FAQ Public
Forked from CSEdelft/FAQFAQ on everything from CSE delft year 1
Other UpdatedOct 10, 2018 -
{{ message }}