Colin S. Gordon (csgordon)

csgordon

Geek Repo

Company:Drexel University

Location:Philadelphia, PA

Home Page:http://csgordon.github.io

Twitter:@csgordon

Github PK Tool:Github PK Tool

Colin S. Gordon's repositories

freebsd-vf2

FreeBSD on StarFive VisionFive 2

Language:ShellStargazers:4Issues:0Issues:1

csgordon

Github Profile README

blog_os

Writing an OS in Rust

Language:HTMLLicense:Apache-2.0Stargazers:0Issues:2Issues:0

BSD-XFCE

Turn your FreeBSD system in a complete and reliable workstation and creative studio with no hassle in minutes! Feel the daemon inside!

Language:CSSLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

ccglab

Combinatory Categorial Grammar (CCG): Full set CCG, and probabilistic CCG

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:2Issues:0

checker-framework

Pluggable type-checking for Java

Language:JavaLicense:NOASSERTIONStargazers:0Issues:3Issues:0

effing-mad

Algebraic effects for Rust

Language:RustStargazers:0Issues:1Issues:0

freebsd-starfive2

Work based off 14-CURRENT to run FreeBSD on the StarFive VisionFive2. Cross-build w/ 13.2 or 14

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

gospel

A tool-agnostic formal specification language for OCaml.

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

gt-nlp-class

Course materials for Georgia Tech CS 4650 and 7650, "Natural Language"

Language:TeXStargazers:0Issues:1Issues:0

kodama-theme

Theme for zola inspired by hugo academic theme.

Language:NixLicense:MITStargazers:0Issues:1Issues:0

lanyon

A content-first, sliding sidebar theme for Jekyll.

Language:CSSLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:LeanStargazers:0Issues:1Issues:0

loom

Concurrency permutation testing tool for Rust.

Language:RustLicense:MITStargazers:0Issues:1Issues:0

mapping-high-level-constructs-to-llvm-ir

A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.

Language:LLVMLicense:NOASSERTIONStargazers:0Issues:2Issues:0

mfsbsd

mfsBSD

Language:MakefileLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

nsf-proposal-latex-samples

LaTeX samples for NSF Research.gov Proposal Submission. For more information about Research.gov Proposal Submission visit https://www.research.gov/research-web/content/aboutpsm Feedback syee@nsf.gov

Language:TeXLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

openccg

OpenCCG library for parsing and realization with CCG

Language:JavaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

OpenLogic

An open-source, customizable intermediate logic textbook

Language:TeXLicense:CC-BY-4.0Stargazers:0Issues:3Issues:0

rust-bert

Rust native ready-to-use NLP pipelines and transformer-based models (BERT, DistilBERT, GPT2,...)

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

rust-raspberrypi-OS-tutorials

:books: Learn to write an embedded OS in Rust :crab:

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

sail

Sail architecture definition language

Language:Standard MLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

shuttle

Shuttle is a library for testing concurrent Rust code

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

smalltt

Demo for high-performance type theory elaboration

Language:LeanLicense:MITStargazers:0Issues:1Issues:0

toaruos

A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.

License:NCSAStargazers:0Issues:0Issues:0
Language:C++License:GPL-3.0Stargazers:0Issues:3Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0