-
Draper Laboratories
- Cambridge Massachusetts
-
08:59
(UTC -12:00)
Stars
- All languages
- Arduino
- Assembly
- Bluespec
- Boogie
- C
- C#
- C++
- CSS
- Chapel
- Coq
- Cuda
- Fortran
- Go
- HTML
- Haskell
- HolyC
- Java
- JavaScript
- Jupyter Notebook
- KiCad Layout
- Lean
- Limbo
- Makefile
- Modula-2
- Nim
- OCaml
- Perl
- Prolog
- Python
- R
- Racket
- Reason
- Rocq Prover
- Roff
- Rust
- Sail
- Self
- Shell
- Standard ML
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Verilog
Official MINIX sources - Automatically replicated from gerrit.minix3.org
Automatically exported from code.google.com/p/netmap
Do It Yourself Open Source Hardware and Software Modular Hacker's Friendly Laptop
This is a set of simple programs that can be used to explore the features of a parallel platform.
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
Memkind is an easy-to-use, general-purpose allocator which helps to fully utilize various kinds of memory available in the system, including DRAM, NVDIMM, and HBM
Information about many aspects of high-performance computing. Wiki content moved to ~/docs.
The Sandia Engineering Analysis Code Access System (SEACAS) is a suite of preprocessing, postprocessing, translation, and utility applications supporting finite element analysis software using the …
interpreter and compiler to be compatible with ARITY/PROLOG(MS-DOS)
This repository contains supplementary source code for the OpenMP(R) API Specification.