-
Xy Group Ltd
- North Carolina
Stars
- All languages
- ANTLR
- ASL
- Alloy
- ApacheConf
- AppleScript
- Assembly
- Astro
- AutoHotkey
- Batchfile
- Bluespec
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Chapel
- Cirru
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- D
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Fennel
- Flix
- Forth
- Fortran
- Futhark
- GAP
- GDShader
- GLSL
- Go
- Groff
- Groovy
- HCL
- HLSL
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Liquid
- Logos
- Lua
- MATLAB
- MAXScript
- MDX
- MLIR
- Makefile
- Mathematica
- Metal
- Mojo
- MoonBit
- Nim
- Nix
- Nushell
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- PEG.js
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Processing
- Prolog
- PureBasic
- Python
- QML
- R
- Racket
- Ragel
- Raku
- ReScript
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Sieve
- Slash
- Smalltalk
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- Terra
- TypeScript
- Typst
- VHDL
- Verilog
- Vim Script
- Visual Basic
- Vue
- WebAssembly
- Wolfram Language
- Wren
- XSLT
- Zig
- edn
14
results
for source starred repositories
written in TeX
Clear filter
Introduction to Autonomous Robots
Sources for my PhD dissertation on the Raft consensus algorithm
Raft.js is an implementation of the Raft consensus algorithm in JavaScript and using WebRTC.
đź“– My reading list of academic papers and research notes
Sources for my Transformer Catalog publication
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programmi…
An extention of Paxos made to support membership changes