Skip to content
View tkob's full-sized avatar

Block or report tkob

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Malfunctional Programming

OCaml 346 20 Updated Nov 10, 2024

Standard ML Grammar for Tree-sitter

C 24 6 Updated Jan 14, 2022

Trac to GitLab migration toolbox

Python 36 27 Updated Apr 20, 2021

The Standard ML compiler that produces Lua/JavaScript

Standard ML 366 11 Updated Mar 9, 2025
Python 1,476 34 Updated Mar 10, 2025

An elegant option/argument parser for shell scripts (full support for bash and all POSIX shells)

Shell 436 22 Updated Nov 18, 2024

A custom parser/auto-formatter for Standard ML

Standard ML 75 15 Updated Mar 10, 2025

A Parser that parses a XSD file into a Java Structure.

Java 84 35 Updated Nov 12, 2024

ParTcl - a micro Tcl implementation

C 490 52 Updated Apr 18, 2024

SML# compiler

LLVM 224 30 Updated Mar 9, 2025

Official repository of Jim Tcl, an open-source, small footprint implementation of Tcl

C 461 125 Updated Feb 23, 2025

jgit based library to calculate semver compatible version from git tree

Java 180 41 Updated Nov 10, 2022
Isabelle 7 1 Updated Nov 10, 2023

The MaPLe compiler: efficient and scalable parallel functional programming

Standard ML 370 23 Updated Feb 4, 2025

MLton with Realtime GC and Threading features

Standard ML 103 2 Updated Mar 7, 2024

A compiler for Standard ML, somewhat

Rust 202 4 Updated Apr 25, 2022

Standard ML interpreter, with relational extensions, implemented in Java

Java 316 15 Updated Mar 5, 2025

A statically-typed programming language based on "F-ing modules"

Standard ML 80 1 Updated Jul 25, 2020

Query git repositories with SQL. Generate reports, perform status checks, analyze codebases. 🔍 📊

Go 3,484 108 Updated Mar 5, 2025

Masking tape to help commands "do one thing well"

Rust 582 19 Updated Feb 15, 2024

Use graphviz with pure java

Java 953 108 Updated May 25, 2023

Generic package manager for Standard ML libraries and programs

Standard ML 165 6 Updated Jan 23, 2025

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

OCaml 118 5 Updated Feb 16, 2023

tbls is a CI-Friendly tool to document a database, written in Go.

Go 3,643 174 Updated Mar 6, 2025

🎉 Enjoy writing SML within Vim

Vim Script 107 10 Updated Sep 25, 2024

The Online Interpreter for Standard ML, written in TypeScript.

TypeScript 177 9 Updated Oct 17, 2023

version your SQL schemas with git + automatically migrate them

Python 334 4 Updated Dec 4, 2021

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…

Java 742 125 Updated Mar 10, 2025

Java8のSSLSocket/SSLServerSocketの使い方を紹介するサンプルJavaアプリケーションです。SSL/TLS通信を使ったEchoクライアントとEchoサーバ、およびHTTPSでGETリクエストを送るだけのシンプルなHTTPSクライアントが含まれています。

Java 3 1 Updated Oct 4, 2024

Tclkit build system

C 3 Updated Aug 7, 2022
Next