r-ba

r-ba's Stars

• 0xpranay/solidity-notes

  A bunch of notes for beginners learning solidity

  22725

• swift-server/swift-backtrace

  💥 Backtraces for Swift on Linux and Windows

  Language:C29535

• SwiftDocOrg/swift-doc

  A documentation generator for Swift projects

  Language:Swift1.7k99

• cryvosh/spacetime

  Spacetime Interval Arithmetic for Animated Implicit Scenes

  Language:JavaScript1

• estree/estree

  The ESTree Spec

  5.1k358

• acornjs/acorn

  A small, fast, JavaScript-based JavaScript parser

  Language:JavaScript10.5k869

• github/semantic

  Parsing, analyzing, and comparing source code across many languages

  Language:Haskell8.9k454

• fkling/astexplorer

  A web tool to explore the ASTs generated by various parsers.

  Language:JavaScript6.1k727

• jscoq/jscoq

  A port of Coq to Javascript -- Run Coq in your Browser

  Language:TypeScript50742

• mrdoob/three.js

  JavaScript 3D Library.

  Language:JavaScript102k35.3k

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.4k79

• AssemblyScript/assemblyscript

  A TypeScript-like language for WebAssembly.

  Language:WebAssembly16.8k654

• mpatacchiola/dissecting-reinforcement-learning

  Python code, PDFs and resources for the series of posts on Reinforcement Learning which I published on my personal blog

  Language:Python609175

• WebAssembly/spec

  WebAssembly specification, reference interpreter, and test suite.

  Language:WebAssembly3.1k446

• emscripten-core/emscripten

  Emscripten: An LLVM-to-WebAssembly Compiler

  Language:C++25.6k3.3k

• llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Language:LLVM27.9k11.5k

• cytoscape/cytoscape.js

  Graph theory (network) library for visualisation and analysis

  Language:JavaScript10k1.6k

• fastify/fastify

  Fast and low overhead web framework, for Node.js

  Language:JavaScript31.9k2.3k

• andrejbauer/homotopy-type-theory-course

  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

  Language:TeX2788

• geohot/qira

  QEMU Interactive Runtime Analyser

  Language:C3.9k469

• gfxfundamentals/webgl-fundamentals

  WebGL lessons that start with the basics

  Language:HTML4.7k660

• omerbsezer/Reinforcement_learning_tutorial_with_demo

  Reinforcement Learning Tutorial with Demo: DP (Policy and Value Iteration), Monte Carlo, TD Learning (SARSA, QLearning), Function Approximation, Policy Gradient, DQN, Imitation, Meta Learning, Papers, Courses, etc..

  Language:Jupyter Notebook715170

• kylehg/church-turing

  A converter between the lambda calculus and Turing machines in Haskell

  Language:Haskell11

• elsewhencode/project-guidelines

  A set of best practices for JavaScript projects

  Language:JavaScript29.4k3.2k

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell86.8k5.7k