Giters
Alex Constandache (alinabi)

alinabi

Geek Repo

8

followers

6

following

91

stars

Location:Boston, MA

Github PK Tool:Github PK Tool

Alex Constandache's starred repositories

free-programming-books

:books: Freely available programming books

License:CC-BY-4.0Stargazers:328467Issues:9751Issues:1087

papers-we-love

Papers from the computer science community to read and discuss.

Language:ShellStargazers:85360Issues:3102Issues:236

os-tutorial

How to create an OS from scratch

Language:CLicense:BSD-3-ClauseStargazers:26660Issues:802Issues:172

raylib

A simple and easy-to-use library to enjoy videogames programming

Language:CLicense:ZlibStargazers:20562Issues:282Issues:1739

jsdom

A JavaScript implementation of various web standards, for use with Node.js

Language:JavaScriptLicense:MITStargazers:20210Issues:275Issues:2280

HeadlessBrowsers

A list of (almost) all headless web browsers in existence

License:CC0-1.0Stargazers:6142Issues:187Issues:21

Big-Ass-Data-Broker-Opt-Out-List

License:NOASSERTIONStargazers:3826Issues:99Issues:13

cobol-programming-course

Training materials and labs for a "Getting Started" level course on COBOL

Language:COBOLLicense:CC-BY-4.0Stargazers:2960Issues:206Issues:114

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2848Issues:80Issues:2629

Hypervisor-From-Scratch

Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials

Language:CLicense:MITStargazers:2116Issues:54Issues:18

SimpleVisor

SimpleVisor is a simple, portable, Intel VT-x hypervisor with two specific goals: using the least amount of assembly code (10 lines), and having the smallest amount of VMX-related code to support dynamic hyperjacking and unhyperjacking (that is, virtualizing the host state from within the host). It works on Windows and UEFI.

Language:CStargazers:1690Issues:98Issues:33

NixOS-WSL

NixOS on WSL(2) [maintainer=@nzbr]

Language:NixLicense:Apache-2.0Stargazers:1589Issues:29Issues:180

serv

SERV - The SErial RISC-V CPU

Language:VerilogLicense:ISCStargazers:1333Issues:37Issues:55

rebound

đź’« An open-source multi-purpose N-body code.

Language:CLicense:GPL-3.0Stargazers:820Issues:45Issues:410

category-theory-resources

Resources for learning Category Theory for an enthusiast

Stargazers:581Issues:27Issues:4

Web-Environment-Integrity

Stargazers:539Issues:113Issues:107

boogie

Boogie

Language:BoogieLicense:MITStargazers:497Issues:30Issues:263

awesome-fortran

Awesome list of Fortran libs

License:MITStargazers:370Issues:45Issues:7

agda-categories

A new Categories library for Agda

Language:AgdaLicense:MITStargazers:357Issues:24Issues:151

OWON-VDS1022

Unofficial release for the OWON VDS1022/I Oscilloscope

Language:PythonStargazers:250Issues:22Issues:96

nano-Agda

Tiny type-checker with dependent types

Language:HaskellLicense:NOASSERTIONStargazers:76Issues:11Issues:0

VA-Models

Verilog-A simulation models

Language:C++Stargazers:39Issues:7Issues:7

Hagl

A Haskell DSEL for experimental game theory.

Language:HaskellLicense:BSD-3-ClauseStargazers:32Issues:6Issues:3

agda-ecosystem

Stargazers:28Issues:4Issues:0

linguaPhylo

LinguaPhylo: A language for describing, visualising and simulating probabilistic phylogenetic models

Language:JavaLicense:LGPL-3.0Stargazers:15Issues:9Issues:467

usbdux

USB-DUX boards are open source/hardware data acquisition devices for Linux with full Linux kernel & debian/Ubuntu support.

Language:CLicense:GPL-3.0Stargazers:12Issues:4Issues:0

haskell-static-data-sqlite

Example how to append data to a Haskell executable using sqlite

Language:CLicense:MITStargazers:11Issues:0Issues:0

EMP-Jammer-Circuit

Stargazers:8Issues:0Issues:0

biophysical-basis-of-thermal-tolerance-in-aquatic-eggs-

Language:RStargazers:2Issues:0Issues:0

Molecular-Lab-Protocols

Protocols for molecular lab work

License:MITStargazers:1Issues:0Issues:0