-
NECI_STABLE Public
Forked from fkfest/NECI_STABLEStandalone NECI codebase designed for FCIQMC and other stochastic quantum chemistry methods.
Roff UpdatedMay 1, 2019 -
edcl_server Public
Demonstration of UML and Nexys4-ddr board. Work in progress.
C UpdatedMay 1, 2019 -
-
-
-
riscv-qemu Public
Forked from riscvarchive/riscv-qemuQEMU with RISC-V (RV64G, RV32G) Emulation Support
C Other UpdatedMay 1, 2019 -
riscv-pk Public
Forked from riscv-software-src/riscv-pkRISC-V Proxy Kernel
C Other UpdatedMay 1, 2019 -
verilog-ethernet Public
Forked from alexforencich/verilog-ethernetVerilog Ethernet components
Verilog MIT License UpdatedMay 1, 2019 -
-
-
coreclr Public
Forked from dotnet/coreclrThis repo contains the .NET Core runtime, called CoreCLR, and the base library, called mscorlib. It includes the garbage collector, JIT compiler, base .NET data types and many low-level classes.
C# MIT License UpdatedMay 1, 2019 -
SD-card-controller Public
Forked from mczerski/SD-card-controllerWISHBONE SD Card Controller IP Core
Verilog GNU Lesser General Public License v2.1 UpdatedMay 1, 2019 -
-
DEF-Parser Public
Forked from li3939108/DEF-ParserDesign Exchange Format (DEF) parser toolkit copy. Cadence open-source parsers for DEF
C++ Other UpdatedMay 1, 2019 -
LEF Public
Mirror of Cadence's LEF parser library (https://openeda.si2.org/projects/lefdefnew/)
-
boolparser Public
Boolean expression parser and partial simplifier written in OCaml
OCaml GNU General Public License v3.0 UpdatedMay 1, 2019 -
vcdparser Public
vcd parser written in OCaml, adapted from the Python version by Eric Anderson
-
lowrisc-socip Public
Forked from nbdd0121/lowrisc-socipCollection of IP cores usable to lowRISC SoC
SystemVerilog UpdatedMay 1, 2019 -
mainline Public
Forked from QWalk/mainlineThe mainline development distribution for QWalk
C++ GNU General Public License v2.0 UpdatedMay 1, 2019 -
CompCert Public
Forked from AbsInt/CompCertThe CompCert C verified compiler
Coq Other UpdatedMay 1, 2019 -
flinux Public
Forked from wishstudio/flinuxForeign LINUX - Run unmodified Linux applications inside Windows.
C GNU General Public License v3.0 UpdatedMay 1, 2019 -
gcx-sx Public
Automatically exported from code.google.com/p/gcx-sx
-
ocaml-for-ios Public
Automatically exported from code.google.com/p/ocaml-for-ios
-
skysightplus Public
Automatically exported from code.google.com/p/skysightplus
-
verilog-parser-ocaml Public
Automatically exported from code.google.com/p/verilog-parser-ocaml
-
-
efuns Public
efuns is a re-write of emacs in ocaml written by Fabrice Le Fessant