-
Quantii
-
14:45
(UTC +10:00)
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
- All languages
- ASL
- ATS
- Ada
- Agda
- Assembly
- Astro
- BitBake
- Blade
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dart
- Dhall
- Earthly
- Elixir
- Elm
- Erlang
- F#
- F*
- Forth
- G-code
- GLSL
- Go
- HTML
- Handlebars
- Haskell
- HolyC
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Mathematica
- Mercury
- Nim
- Nix
- OCaml
- Objective-C++
- PHP
- Pascal
- Perl
- Pony
- Python
- R
- Racket
- Raku
- Reason
- Red
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smalltalk
- Solidity
- Standard ML
- Svelte
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- V
- VHDL
- Verilog
- Vue
- WebAssembly
- Zig
- hoon
Starred repositories
PixArt-Σ: Weak-to-Strong Training of Diffusion Transformer for 4K Text-to-Image Generation
MeTTa programming language implementation
Digital logic design tool and simulator
Ready-to-use and customizable users management for FastAPI
Functional Reactive Programming domain-specific language for efficient hybrid systems
VSCode Extension to preview JSCADv2 scripts
Dependent type checker using normalisation by evaluation
Julia implementation of various rigid body dynamics and kinematics algorithms
Linda process coordination on the pysim discrete event simulation framework
Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the…
IDE support for the functional logic programming language Curry
Playground for formal specifications of interfaces in Julia
Interactive data visualizations and plotting in Julia
Powerful web graphics runtime built on WebGL, WebGPU, WebXR and glTF
Zero overhead game development library for the Julia programming language
A collaborative bibliography of work related to the theory and practice of computational effects