-
aqua-registry Public
Forked from aquaproj/aqua-registryaqua's Standard Registry
YAML MIT License UpdatedJul 8, 2025 -
clj-kondo Public
Forked from clj-kondo/clj-kondoStatic analyzer and linter for Clojure code that sparks joy
Clojure Eclipse Public License 1.0 UpdatedJul 9, 2024 -
vscode-lean4 Public
Forked from leanprover/vscode-lean4Visual Studio Code extension for the Lean 4 proof assistant
TypeScript Apache License 2.0 UpdatedSep 20, 2023 -
homebrew-tools Public
Forked from rkaippully/homebrew-toolsMy Homebrew Tap
Ruby UpdatedOct 6, 2022 -
2020ElectionLawsuits Public archive
https://nxvipin.github.io/2020ElectionLawsuits
1 UpdatedNov 20, 2020 -
AisLib Public
Forked from dma-ais/AisLibDMA AisLib - Java library for handling AIS messages
Java Other UpdatedAug 23, 2020 -
clj-annotations Public
Forked from rkaippully/clj-annotationsA clojure library designed to annotate values with arbitrary properties
Clojure Mozilla Public License 2.0 UpdatedJul 10, 2020 -
sat Public
A basic work-in-progress SAT Solver written in Clojure
-
faraday Public
Forked from taoensso/faradayDynamoDB client for Clojure
Clojure Eclipse Public License 1.0 UpdatedApr 9, 2019 -
lein-ring Public
Forked from weavejester/lein-ringRing plugin for Leiningen
Clojure Eclipse Public License 1.0 UpdatedMar 21, 2019 -
c3p0 Public
Forked from swaldman/c3p0a mature, highly concurrent JDBC Connection pooling library, with support for caching and reuse of PreparedStatements.
Java Other UpdatedOct 17, 2018 -
relx Public
Forked from erlware/relxSane, simple release creation for Erlang
Erlang Apache License 2.0 UpdatedNov 17, 2017 -
rset Public
Replicated Sets
-
circuit-breaker Public
Forked from josephwilk/circuit-breakerCircuit breaker for Clojure
Clojure UpdatedFeb 8, 2017 -
buddy-hashers Public
Forked from funcool/buddy-hashersCollection of password hashers.
Java Apache License 2.0 UpdatedJan 24, 2017 -
-
hss Public
HSS: SSH multiplexer as an OTP application. Work in Progress.
-
-
raft.tla Public
Forked from ongardie/raft.tlaTLA+ specification for the Raft consensus algorithm
UpdatedMay 31, 2015 -
-
-
Reversi Public
Reversi implentation in Erlang with some super dumb AI. Needs a cleanup!
Erlang UpdatedFeb 8, 2014 -
cowboy Public
Forked from ninenines/cowboySmall, fast, modular HTTP server written in Erlang.
Erlang ISC License UpdatedFeb 4, 2014 -
Justified-Gallery Public
Forked from miromannino/Justified-GalleryJQuery plugin that allows you to create a gallery with a justified grid. Fill all the spaces!
JavaScript Other UpdatedJan 28, 2014 -
-
storm Public
Forked from nathanmarz/stormDistributed and fault-tolerant realtime computation: stream processing, continuous computation, distributed RPC, and more
Java Eclipse Public License 1.0 UpdatedAug 16, 2013 -
-
-
-
Surveychimp Public
My take on SurveyMonkey! A demo rails app to learn rails :)
Ruby UpdatedApr 9, 2013
{{ message }}