Giters
Roki (falgon)

falgon

Geek Repo

14

followers

3

following

61

stars

Company:CyberAgent, Inc.

Location:Tokyo, Japan

Home Page:https://roki.dev

Twitter:@roki_r7

Github PK Tool:Github PK Tool

Organizations
cpprefjp

Roki's starred repositories

rust-raspberrypi-OS-tutorials

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

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

awesome-prolog

Curated list of Prolog packages and resources

License:CC0-1.0Stargazers:495Issues:0Issues:0

coding-interview-university

A complete computer science study plan to become a software engineer.

License:CC-BY-SA-4.0Stargazers:300485Issues:0Issues:0

yatima-lang-alpha

A programming language for the decentralized web

Language:RustLicense:MITStargazers:448Issues:0Issues:0

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellLicense:NOASSERTIONStargazers:3418Issues:0Issues:0

awesome-idris

𝛌 Awesome Idris resources

Language:IdrisStargazers:386Issues:0Issues:0

taskell

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

Language:HaskellLicense:BSD-3-ClauseStargazers:1712Issues:0Issues:0

planka

The realtime kanban board for workgroups built with React and Redux.

Language:JavaScriptLicense:AGPL-3.0Stargazers:7456Issues:0Issues:0

quote-quot

Divide without division

Language:HaskellLicense:BSD-3-ClauseStargazers:15Issues:0Issues:0

hakyll

A static website compiler library in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:2671Issues:0Issues:0

Operating-Systems-Three-Easy-Pieces-in-japanese

Stargazers:614Issues:0Issues:0

movfuscator

The single instruction C compiler

Language:CLicense:NOASSERTIONStargazers:9305Issues:0Issues:0

chibios-arafura

Snatch ChibiOS/RT using Haskell and Ajhc compiler.

Language:CLicense:GPL-3.0Stargazers:6Issues:0Issues:0

pandoc-examples

Language:HTMLLicense:MITStargazers:72Issues:0Issues:0

awesome-haskell

A curated list of awesome Haskell frameworks, libraries and software.

Stargazers:398Issues:0Issues:0

house

Haskell Operating System

License:NOASSERTIONStargazers:144Issues:0Issues:0

learn-tt

A collection of resources for learning type theory.

Stargazers:100Issues:0Issues:0

IntelVISA-BH2019

Stargazers:29Issues:0Issues:0

sat3

Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem

Language:JavaLicense:LGPL-3.0Stargazers:87Issues:0Issues:0

voyagerimb

Voyager's Golden Disk Image Browser

Language:PythonLicense:MITStargazers:378Issues:0Issues:0

mjs

ECMAScript Interpreter

Language:C++License:MITStargazers:123Issues:0Issues:0

inadyn

In-a-Dyn is a dynamic DNS client with multiple SSL/TLS library support

Language:CLicense:GPL-2.0Stargazers:938Issues:0Issues:0

STT-C-Compile-Time-Snake

Snake/Nibbler implementation using C++ template metaprogamming

Language:C++License:MITStargazers:201Issues:0Issues:0

taskflow

A General-purpose Task-parallel Programming System using Modern C++

Language:C++License:NOASSERTIONStargazers:9876Issues:0Issues:0

ProjectQ

ProjectQ: An open source software framework for quantum computing

Language:PythonLicense:Apache-2.0Stargazers:872Issues:0Issues:0

qchas

Language:HaskellLicense:BSD-3-ClauseStargazers:16Issues:0Issues:0

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

Stargazers:290977Issues:0Issues:0

libpnet

Cross-platform, low level networking using the Rust programming language.

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

awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Language:HaskellStargazers:3042Issues:0Issues:0

coin-hive

CoinHive cryptocurrency miner for node.js

Language:JavaScriptLicense:MITStargazers:1982Issues:0Issues:0