Repositories list

• metasepi-website

  Public
  Source code of http://metasepi.org/.

  HTML

  •11 fork•22 stars•00 issues•00 pull requests•Updated Oct 8, 2025Oct 8, 2025

• metasepi.github.io

  Public
  http://metasepi.org/

  HTML

  •11 fork•11 star•22 issues•00 pull requests•Updated Oct 8, 2025Oct 8, 2025

• postmortem

  Public
  Postmortem for open-source operating systems

  ATS

  •

  MIT License

  •11 fork•55 stars•88 issues•00 pull requests•Updated Apr 14, 2021Apr 14, 2021

• netbsd-arafura-s1

  Public
  NetBSD arafura - season 1

  C

  •2323 forks•1111 stars•11 issue•11 pull request•Updated Mar 8, 2020Mar 8, 2020

• idiomaticca

  Public
  Translate IDIOMATIC C into human-readable ATS

  clanguagetranslator+ 4

  clanguagetranslatortranslationmigrationtranspilerats

  Haskell

  •

  GNU Affero General Public License v3.0

  •11 fork•44 stars•1919 issues•00 pull requests•Updated Aug 27, 2019Aug 27, 2019

• atspkg

  Public
  Build tool for ATS.

  Haskell

  •77 forks•00 stars•00 issues•00 pull requests•Updated Mar 9, 2019Mar 9, 2019

• uemacs-bohai

  Public
  Microemacs snatched by ATS language (under construction)

  editorlanguageemacs+ 1

  editorlanguageemacsats

  C

  •308308 forks•22 stars•00 issues•00 pull requests•Updated Dec 28, 2018Dec 28, 2018

• amazon-freertos

  Public
  Cloud-native IoT operating system for microcontrollers.

  C

  •

  MIT License

  •1.1k1.1k forks•00 stars•00 issues•00 pull requests•Updated Sep 11, 2018Sep 11, 2018

• c2ats

  Public
  generate ATS interface from C code

  chaskellgenerate+ 2

  chaskellgenerateheaderats

  ATS

  •

  GNU General Public License v3.0

  •11 fork•2020 stars•1010 issues•00 pull requests•Updated Dec 31, 2016Dec 31, 2016

• netbsd-bohai-s2

  Public
  NetBSD bohai - season 2

  8282 forks•00 stars•00 issues•00 pull requests•Updated Aug 25, 2016Aug 25, 2016

• tibios

  Public
  TibiOS - Strongly typed ChibiOS

  C

  •11 fork•11 star•00 issues•00 pull requests•Updated May 8, 2016May 8, 2016

• bohaifs

  Public
  Bohai Filesystem for Linux kernel

  Makefile

  •

  GNU General Public License v2.0

  •11 fork•11 star•00 issues•00 pull requests•Updated Sep 25, 2015Sep 25, 2015

• linux-bohai-s2

  Public
  Linux kernel source tree

  C

  •

  Other

  •62k62k forks•00 stars•00 issues•00 pull requests•Updated Jun 25, 2015Jun 25, 2015

• netbsd-bohai-s1

  Public
  NetBSD bohai - season 1

  C

  •2424 forks•00 stars•00 issues•00 pull requests•Updated Jun 20, 2015Jun 20, 2015

• linux-bohai-s1

  Public
  Linux Bohai - Season 1

  C

  •

  Other

  •5.4k5.4k forks•22 stars•33 issues•00 pull requests•Updated Jan 9, 2015Jan 9, 2015

• metasepi-gitit

  Public
  Wiki data for Metasepi Wiki

  CSS

  •11 fork•11 star•00 issues•00 pull requests•Updated Dec 23, 2014Dec 23, 2014

• metasepi-wiki

  Public
  Wiki like repo

  11 fork•11 star•00 issues•00 pull requests•Updated Apr 10, 2014Apr 10, 2014

• chibios-arafura

  Public
  Snatch ChibiOS/RT using Haskell and Ajhc compiler.

  C

  •

  GNU General Public License v3.0

  •33 forks•77 stars•00 issues•00 pull requests•Updated Nov 2, 2013Nov 2, 2013