githwxi

githwxi's Stars

• martinezjavier/ldd3

  Linux Device Drivers 3 examples updated to work in recent kernels

  Language:C2.4k16639911

• urweb/urweb

  The Ur/Web programming language

  Language:Standard ML8063415566

• githwxi/ATS-Postiats

  ATS2: Unleashing the Potentials of Types and Templates

  Language:ATS3553411855

• githwxi/ATS-Xanadu

  Bootstrapping ATS3

  Language:ATS205311416

• fpiot/arduino-ats

  ATS programing on Arduino

  Language:C571083

• dreal/dreal3

  There is a new version of dReal, available at https://github.com/dreal/dreal4

  Language:SMT49831336

• QuestOS/quest

  The Quest Operating System

  Language:C4910111

• githwxi/ATS-Postiats-contrib

  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

  Language:C4817518

• githwxi/ATS-Temptory

  For supporting template-based programming

  Language:ATS21904

• Hibou57/PostiATS-Utilities

  Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)

  Language:Python17310

• mrd/terrier

  ARM-based operating system - fork of http://github.com/mrd/puppy

  Language:C15630

• sdvos/sdvos

  Standard Dependable Vehicle Operating System

  Language:C139

• githwxi/ATS-Postiats-test

  This repository is primarily for testing ATS2 on various platforms

  Language:ATS10607

• ashalkhakov/ATS-playground

  ATS2 proofs of concept stuff

  Language:ATS7300

• sparverius/Temptory-Release

  For building & Releasing

  Language:Makefile6450

• ashalkhakov/ATS-Postiats-ide

  ATS/Postiats language binding for MonoDevelop

  Language:C#5401