#
Learning!
"It always seems impossible until it's done." - Nelson Mandela
- Sunnyvale, CA
-
22:45
(UTC -08:00) - in/arjunsk15
Highlights
Lists (1)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ActionScript
- Arduino
- Assembly
- Blade
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Dart
- Dockerfile
- Elixir
- Erlang
- Fortran
- FreeMarker
- Gherkin
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MDX
- Makefile
- Markdown
- Nix
- Nunjucks
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Pascal
- Perl
- Prolog
- Pug
- PureScript
- Python
- REXX
- ReScript
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Shell
- Smarty
- Stan
- Starlark
- TLA
- TSQL
- TeX
- Terra
- Thrift
- TypeScript
- Verilog
- Vim Script
- Vue
- Yacc
- Zig
Starred repositories
7
stars
written in Clojure
Clear filter
The easy-to-use open source Business Intelligence and Embedded Analytics tool that lets everyone work with data 📊
A framework for distributed systems verification, with fault injection
A workbench for writing toy implementations of distributed systems.
Verifies the linearizability of experimentally accessible histories.
Intelligent data generator for Apache Kafka. Generates streams of realistic data with support for cross-topic relationships, tombstoning, configurable rates, and more.