Lists (2)
Sort Name ascending (A-Z)
- All languages
- Agda
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F*
- Go
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Mathematica
- Motoko
- Nim
- Nix
- OCaml
- Objective-C
- Odin
- PHP
- PureScript
- Python
- R
- Racket
- Ruby
- Rust
- SMT
- Scala
- ShaderLab
- Shell
- Smalltalk
- Solidity
- Standard ML
- Stylus
- Swift
- TeX
- TypeScript
- V
- Verilog
- WebAssembly
- Zig
Starred repositories
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
The repository for high quality TypeScript type definitions.
Immutable persistent data collections for Javascript which increase efficiency and simplicity.
FastGPT is a knowledge-based platform built on the LLMs, offers a comprehensive suite of out-of-the-box capabilities such as data processing, RAG retrieval, and visual AI workflow orchestration, le…
✨ Monorepo for all the tooling which enables ESLint to support TypeScript
The fastest way to develop full-stack web apps with React & Node.js.
Create beautiful diagrams just by typing notation in plain text.
A library optimized for concise and principled data graphics and layouts.
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
Next Generation Visual Programming System
Typesafe utilities for "action-creators" in Redux / Flux Architecture
🎮 Your friendly TypeScript 2D game engine for the web 🗡️
An LLM-powered autonomous agent platform
The open source cryptocurrency wallet for ada, built to grow with the community
Computer Algebra System in Javascript (Typescript)
A zero-knowledge protocol for anonymous interactions.
Augur v1 - Smart Contracts [DEPRECATED]
A port of Coq to Javascript -- Run Coq in your Browser
Augur v2 - Prediction Market Protocol and Client
A simple compile-to-WebAssembly language
HPCC-Systems Web-Assembly (JavaScript)