|
PHP |
2 |
Verifies the WordPress update process |
Dec 17, 2018 |
|
VimL |
2 |
Exclude by patterns from the histories. |
Feb 06, 2021 |
|
JavaScript |
6 |
A hello world to be experimentally |
Jul 27, 2021 |
|
Dart |
2 |
Histories mobile app |
Feb 15, 2022 |
|
Go |
621 |
A fast linearizability checker written in Go 🔎 |
Aug 01, 2022 |
|
Go |
73 |
A linearizability distributed database by raft and wisckey. |
Jul 18, 2022 |
|
Go |
197 |
A test framework for linearizability check with Go |
Jul 10, 2022 |
|
None |
4 |
experimentally storing NZ Hansard data in git |
Aug 13, 2019 |
|
Python |
6 |
Differentiable star formation histories |
Aug 29, 2022 |
|
Vim script |
3 |
This plugin provides to complete histories and permanently save histories in terminal. |
Nov 05, 2021 |
|
Scala |
6 |
:turtle: A slow linearizability checker written in Scala :mag_right: |
May 03, 2022 |
|
CSS |
7 |
Omeka theme for Histories of the National Mall |
Feb 26, 2023 |
|
Python |
6 |
viTweet visualizes twitter conversation histories. |
Aug 16, 2019 |
|
Emacs Lisp |
2 |
Persist EWW histories into SQLite. |
Apr 23, 2022 |
|
None |
2 |
Algorithms for Reconstructing Cancer Histories |
Aug 30, 2021 |
|
JavaScript |
9 |
Verifies windows store receipts. |
Apr 23, 2022 |
|
JavaScript |
2 |
Verifies validator domain signatures |
Jan 02, 2020 |
|
Python |
59 |
Parsing the hand histories that poker AI Pluribus played |
Apr 29, 2023 |
|
TypeScript |
2 |
Verifies the nRF Cloud Location Services REST API. |
Nov 08, 2022 |
|
C++ |
4 |
The Triton repository agent that verifies model checksums. |
Mar 23, 2023 |
|
Python |
3 |
Updated csv of experimentally-determined YSIs at Yale University by the Pfefferle group |
Jun 14, 2022 |
|
Swift |
10 |
Accessing copy histories from menubar easily. |
Mar 20, 2023 |
|
JavaScript |
7 |
A map that shows accident histories. |
Apr 29, 2020 |
|
Python |
10 |
manage histories of LLM applied applications |
Apr 12, 2023 |
|
JavaScript |
2 |
Auto Adding Lottery Histories w/ Firebase |
Mar 08, 2023 |
|
Python |
29 |
A tool for analyzing the word histories of a text. |
Apr 13, 2023 |
|
Ruby |
2 |
Verifies Ruby programs using Boogie |
Mar 24, 2023 |
|
Go |
3 |
A tiny blockchain supporting free transactions and state modification experimentally. |
Dec 24, 2021 |
|
JavaScript |
14 |
The Accessible Graphs project |
Jul 28, 2022 |
|
Clojure |
3 |
None |
Jul 11, 2022 |
|
Clojure |
3 |
A bank simulation application using mainly Clojure, which can be used to end-to-end test and … |
Feb 16, 2022 |
|
Clojure |
3 |
Examples of using OpenCV from Clojure |
Dec 23, 2020 |
|
Clojure |
3 |
Viterbi search in clojure. |
Dec 04, 2018 |
|
Clojure |
3 |
A bidirectional IFMUD <-> IRC proxy |
Jun 20, 2021 |
|
Clojure |
3 |
A modern latin dictionary, built with what I could extract from Whitaker's WORDS. |
May 23, 2016 |
|
Clojure |
3 |
An example project for playing with Quil in the REPL |
Jun 07, 2022 |
|
Clojure |
4 |
Run commands against multiple Heroku applications. |
May 12, 2022 |
|
Clojure |
4 |
Utility library for the `integrant` to init/halt system keys in parallel. |
May 20, 2022 |
|
Clojure |
4 |
Financial reporting aquirer and cleaner |
May 12, 2022 |
|
Clojure |
4 |
Open source rules used by clj-holmes. |
Apr 16, 2022 |
|
Clojure |
4 |
Official Kit modules |
Apr 29, 2022 |
|
Clojure |
4 |
information in motion, generative art on fxhash |
Mar 26, 2022 |
|
Clojure |
4 |
quil + shadow-cljs generative art |
Jun 24, 2022 |
|
Clojure |
4 |
Simples Codenames App for Collins Family |
Dec 17, 2021 |
|
Clojure |
4 |
Unlambda in Clojure! |
Sep 27, 2018 |
|
Clojure |
4 |
An atom interface to CouchDB using Clutch |
Sep 02, 2021 |
|
Clojure |
4 |
Clojure Programming Projects, published by Packt |
Oct 01, 2021 |
|
Clojure |
4 |
Clojure client library for the GoCardless API |
May 01, 2018 |
|
Clojure |
4 |
A Leiningen plugin to manage your bootclasspath. |
Aug 21, 2018 |
|
Clojure |
4 |
Learning clojure by implementing the Levenshtein algorithm. This is an algorithm to calculate the "edit … |
Oct 05, 2014 |