Skip to content
View arnaudbos's full-sized avatar
😶‍🌫️
😶‍🌫️

Organizations

@ToulouseJug

Block or report arnaudbos

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Utility lib on top of rewrite-clj with common operations to update EDN while preserving whitespace and comments.

Clojure 85 14 Updated Mar 28, 2024

A Clojure Companion to Jetty

Clojure 67 1 Updated Dec 9, 2024

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

TLA 273 37 Updated Dec 19, 2024

TLA+ language support for Visual Studio Code

TypeScript 357 33 Updated Nov 20, 2024

A fast, immutable, distributed & compositional Datalog engine for everyone.

Clojure 1,636 97 Updated Dec 11, 2024

Datahike with Firebase as data storage

Clojure 50 Updated Sep 15, 2022

Native, fast starting Clojure interpreter for scripting

Clojure 4,097 258 Updated Dec 19, 2024

Free monospaced font with programming ligatures

Clojure 77,622 3,111 Updated Nov 4, 2024

Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21

Clojure 6,303 399 Updated Feb 3, 2023

A framework for distributed systems verification, with fault injection

Clojure 6,891 720 Updated Dec 11, 2024

μ/log is a micro-logging library that logs events and data, not words!

Clojure 491 48 Updated Dec 17, 2024
Clojure 189 7 Updated Oct 31, 2019

C4-PlantUML combines the benefits of PlantUML and the C4 model for providing a simple way of describing and communicate software architectures

PlantUML 6,474 1,107 Updated Oct 25, 2024
Clojure 31 1 Updated Apr 29, 2020

Kpow Template for Clojure Development.

Clojure 37 1 Updated Oct 1, 2021

The Deadlock Empire: Slay dragons, learn concurrency!

JavaScript 984 46 Updated Aug 12, 2024

Sources for my PhD dissertation on the Raft consensus algorithm

TeX 1,009 127 Updated May 24, 2016

Course material

TeX 30 9 Updated Jun 4, 2018

RavenDB Book

C# 151 48 Updated Mar 10, 2024

french traduction of MIT lockpicking

TeX 29 10 Updated Jun 10, 2017

Event data simulator. Generates a stream of pseudo-random events from a set of users, designed to simulate web traffic.

Scala 508 130 Updated Mar 16, 2022

Clojure utilities for AWS Lambda (JVM based) deployment

Clojure 62 10 Updated Mar 15, 2019

A paper on sagas in distributed systems

TeX 90 8 Updated Jun 1, 2015

H2 is an embeddable RDBMS written in Java.

Java 4,247 1,204 Updated Dec 1, 2024

A debugger for Clojure

Clojure 408 27 Updated Mar 30, 2022

Interactive algorithm visualizations

JavaScript 2,770 166 Updated Dec 16, 2018

Persistent/Immutable/Functional data structures for Python

Python 2,039 146 Updated Apr 25, 2024

Magnificent app which corrects your previous console command.

Python 86,204 3,453 Updated Jul 19, 2024

Exploits locked/password protected computers over USB, drops persistent WebSocket-based backdoor, exposes internal router, and siphons cookies using Raspberry Pi Zero & Node.js.

JavaScript 6,268 994 Updated Nov 26, 2018

Machine learning in Clojure

Clojure 1,269 110 Updated Sep 10, 2018
Next