-
-
-
-
clx Public
Forked from sharplispers/clxa fork of crhodes' fork of danb's fork of the CLX library, an X11 client for Common Lisp
-
Import of https://en-gb.wordpress.org/plugins/yith-woocommerce-ajax-navigation/
PHP Other UpdatedApr 12, 2022 -
-
nocode Public
Forked from kelseyhightower/nocodeThe best way to write secure and reliable applications. Write nothing; deploy nowhere.
Dockerfile Apache License 2.0 UpdatedOct 29, 2021 -
catbird Public
Forked from typelevel/catbirdBirds and cats together
Scala Apache License 2.0 UpdatedJun 15, 2021 -
cats-effect Public
Forked from typelevel/cats-effectThe pure asynchronous runtime for Scala
Scala Apache License 2.0 UpdatedMay 21, 2021 -
notcurses Public
Forked from dankamongmen/notcursesblingful character graphics/TUI library. definitely not curses.
C Other UpdatedFeb 21, 2021 -
-
-
plantuml-mode Public
Forked from skuro/plantuml-modeA major mode for editing PlantUML sources in Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedJan 18, 2021 -
mockito-scala Public
Forked from mockito/mockito-scalaMockito for Scala language
Scala MIT License UpdatedJan 2, 2021 -
typelevel-kitchen-sink Public
Kitchen-sink metapackage for the typelevel stack, to make everything available for use in a REPL
UpdatedOct 23, 2020 -
Monocle Public
Forked from optics-dev/MonocleOptics library for Scala
Scala MIT License UpdatedAug 8, 2020 -
-
tla-tools Public
Forked from mrc/tla-toolsTLA+ tools for Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedJul 30, 2020 -
lsp-metals Public
Forked from emacs-lsp/lsp-metalslsp-mode ❤️ metals
Emacs Lisp GNU General Public License v3.0 UpdatedJul 27, 2020 -
finagle Public
Forked from twitter/finagleA fault tolerant, protocol-agnostic RPC system
Scala Apache License 2.0 UpdatedJul 3, 2020 -
http4s Public
Forked from http4s/http4sA minimal, idiomatic Scala interface for HTTP
Scala Apache License 2.0 UpdatedJun 28, 2020 -
finagle-postgres Public
Forked from finagle/finagle-postgresPostgreSQL protocol support for Finagle
Scala Apache License 2.0 UpdatedJun 21, 2020 -
Idris2 Public
Forked from edwinb/Idris2A purely functional programming language with first class types
Idris Other UpdatedJun 21, 2020 -
cats-effect-testing Public
Forked from typelevel/cats-effect-testingSome experimental integration between cats-effect and testing frameworks
Scala Apache License 2.0 UpdatedJun 9, 2020 -
github4s Public
Forked from 47degrees/github4sA GitHub API wrapper written in Scala
Scala Apache License 2.0 UpdatedJun 8, 2020 -
-
utest Public
Forked from com-lihaoyi/utestA simple testing framework for Scala
Scala UpdatedMay 16, 2020 -
dotfiles-1 Public
Forked from TimMoore/dotfilesBash, Git, Vim and other configuration files
Shell UpdatedApr 13, 2020 -
kubectx Public
Forked from ahmetb/kubectxFaster way to switch between clusters and namespaces in kubectl
Shell Apache License 2.0 UpdatedFeb 22, 2020 -