molikto's repositories

mlang

Towards changing things and see if it proofs

Language:ScalaLicense:GPL-3.0Stargazers:60Issues:7Issues:9

CherryTree

A collaborative structural editor for structured rich document with VIM-like keybindings

Language:ScalaLicense:GPL-3.0Stargazers:18Issues:4Issues:1

medit

The structural editor framework for mlang

Language:ScalaLicense:GPL-3.0Stargazers:9Issues:3Issues:0

ChihuahuaLang

PLT & structural editor playground

Language:ScalaStargazers:3Issues:4Issues:0

mlang2

Last incarnation of my dependent type implementation attempt

Language:ScalaStargazers:2Issues:4Issues:0

libraqm

A library for complex text layout

Language:CLicense:MITStargazers:1Issues:4Issues:0

bevy

A refreshingly simple data-driven game engine built in Rust

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

bevy_egui

A plugin for Egui integration into Bevy

Language:RustLicense:MITStargazers:0Issues:2Issues:0
Stargazers:0Issues:0Issues:0

cmark

GitHub's fork of cmark, a CommonMark parsing and rendering library and program in C

Language:CLicense:NOASSERTIONStargazers:0Issues:3Issues:0
Language:HaskellLicense:MITStargazers:0Issues:3Issues:0

glam-rs

A simple and fast linear algebra library for games and graphics

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

java-tree-sitter

Java bindings for tree-sitter

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

kajiya

💡 Experimental real-time global illumination renderer 🦀

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

molikto.github.io

personal site

Language:HTMLStargazers:0Issues:3Issues:1

msgpackr

Ultra-fast MessagePack implementation with extension for record and structural cloning / msgpack.org[JavaScript/NodeJS]

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

nolex

After my "rigid" structural editor effort, I tried an idea of saving source code as token list, and parsing is done afterwards

Language:RustStargazers:0Issues:3Issues:0

normalization-bench

Lambda normalization and conversion checking benchmarks for various implementations

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

palette

A Rust library for linear color calculations and conversion

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

rust-gpu

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

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

sbt-robovm

An sbt plugin for iOS development in Scala

Language:ScalaLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0
Language:ScalaStargazers:0Issues:3Issues:0

sol-rs

Vulkan rendering sandbox for raytracing

Language:RustStargazers:0Issues:1Issues:0

vimflowy

An open source productivity tool drawing inspiration from workflowy and vim

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

VSCode.OSKeybindings

This extension does not remove any existing bindings. On the same os as that of the keybindings that means everything will be bound twice. On other OS' that means that the keybindings will be in addition to the default (note that they take precedence over the default bindings)

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

wgpu

Safe and portable GPU abstraction in Rust, implementing WebGPU API.

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