raviqqe/type-inference

Stars
2
Language
Go
License
The Unlicense
Created almost 6 years ago
Updated almost 6 years ago

raviqqe/type-inference

raviqqe

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Type inference algorithm with mutable data structures in Go

muffet

Fast website link checker in Go

melior

The rustic MLIR bindings in Rust

hamt

Immutable and Memory-Efficient Maps and Sets in Go

liche

Fast Link Checker for Markdown and HTML in Go

tensorflow-font2char2word2sent2doc

TensorFlow implementation of Hierarchical Attention Networks for Document Classification and some extension

turtle-build

Ninja-compatible build system for high-level programming languages written in Rust

tensorflow-qnd

Quick and Dirty TensorFlow command framework to train and evaluate models and make inference

begin-with-init.vim

Minimal neovim distribution as init.vim

oneRPC

The router-less serverless RPC framework for TypeScript

gherkin2markdown

Gherkin to Markdown converter

rnm

Yet another codemod alternative

ssf

Structurally-typed strict functional core language

block-is-array

Block is Array (See also https://github.com/raviqqe/block-is-hash)

fmm

The uncurried minimal functional programming language for CPS transformation

bdwgc-alloc

impl GlobalAlloc for Boehm GC

schemat

Code formatter for Scheme, Lisp, and any S-expressions

code2d

Productivity tool for software engineers

lazy-ein

JSON meets Haskell.

hamt-rs

HAMT implementation whose sub-trees can be shared over threads

dotfiles

My dotfiles for Linux / macOS

tasks

Simple task management app

self-talk

Talk to yourself

stak

No-std and no-alloc R7RS Scheme implementation in Rust

arachne

autophagy

Yet another AOT compiler for Rust

vim-nonblank

Delete trailing whitespaces on every write

dockerfile-dsl.rb

Dockerfile DSL in Ruby

block-is-hash

Block is Hash (See also https://github.com/raviqqe/block-is-array)

nginx-conf.rb

nginx.conf generator in Ruby

bstie

Summon Beastie!

language-design

til-old

Today I learned.

pomodoro

Pomodoro timer with performance tracking

stg

STG Machine in Go

tensorflow-extenteten

TensorFlow extension library

flame

Freeze the world.

ein-design

tensorflow-entrec

eslint-config

hm-type-inference

llir.rs

plist-rs

Persistent list in Rust

til

Today I learned

imleak

llvm-experiments

simple-arc-rs

Simple Arc implementation in Rust

shakyo

wasm-examples

infrastructure

parallel-go

rpm

RPM (Requests Per Minute) reporter in Go

react-scripts

xir

pir

mfmt

Meta formatter library in Rust

ewm

hidash

Lodash-like library for the Web API

all-yours

Yes, it's all yours.

marksvg

freebsd_installation_script

Application installation script after the first boot (DEPRECATED, this project is succeeded to by https://github.com/raviqqe/dotfiles/)

llvm-all-the-things

parcom

Parser combinators in Go

typetod

typeing game to let you type everything forever (DEPRECATED, this project is succeeded to by https://github.com/raviqqe/shakyo/)

enable-homebrew

GitHub Action to enable Homebrew in Ubuntu images

immix-rust

Copy of gitlab.anu.edu.au/mu/immix-rust

gherkin-format

Gherkin code formatter

loscore

Yet another utility library in TypeScript.