Giters
sonologico

sonologico

Geek Repo

19

followers

25

following

219

stars

Home Page:sonologi.co

Twitter:@sonologico

Github PK Tool:Github PK Tool

sonologico's starred repositories

lapce

Lightning-fast and Powerful Code Editor written in Rust

Language:RustLicense:Apache-2.0Stargazers:34582Issues:187Issues:1907

duckdb

DuckDB is an analytical in-process SQL database management system

Language:C++License:MITStargazers:24257Issues:205Issues:5179

zola

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Language:RustLicense:MITStargazers:13985Issues:86Issues:1530

kilo

A text editor in less than 1000 LOC with syntax highlight and search.

Language:CLicense:BSD-2-ClauseStargazers:7414Issues:151Issues:37

lite

A lightweight text editor written in Lua

Language:LuaLicense:MITStargazers:7409Issues:103Issues:233

vagas

Espaço para a divulgação de vagas para desenvolvedores backend via issues do Github.

License:MITStargazers:7147Issues:1129Issues:10678

vis

A vi-like editor based on Plan 9's structural regular expressions

Language:CLicense:NOASSERTIONStargazers:4268Issues:104Issues:754

microui

A tiny immediate-mode UI library

Language:CLicense:MITStargazers:3520Issues:78Issues:41

essays

A few essays on communism

Language:SCSSLicense:GPL-3.0Stargazers:1523Issues:86Issues:108

kira

Library for expressive game audio.

Language:RustLicense:Apache-2.0Stargazers:865Issues:8Issues:64

sixten

Functional programming with fewer indirections

Language:HaskellLicense:BSD-3-ClauseStargazers:761Issues:49Issues:85

company-coq

A Coq IDE build on top of Proof General's Coq mode

Language:Emacs LispLicense:GPL-3.0Stargazers:354Issues:10Issues:240

pamixer

Pulseaudio command line mixer

Language:C++License:GPL-3.0Stargazers:336Issues:12Issues:33

TypeFunc

Resources for type theory, functional programming, etc.

Stargazers:309Issues:22Issues:0

homotopy-type-theory-course

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

Language:TeXStargazers:287Issues:20Issues:1

cat-language

Cat - a statically typed functional stack-based programming language

Language:C#License:MITStargazers:252Issues:12Issues:5

tendra

The TenDRA Project

Language:CLicense:NOASSERTIONStargazers:237Issues:20Issues:69

patoline

Patoline typesetting system

Language:OCamlLicense:GPL-2.0Stargazers:184Issues:20Issues:25

mnx

Music Notation CG next-generation music markup proposal.

Language:HTMLStargazers:176Issues:52Issues:268

omd

extensible Markdown library and tool in "pure OCaml"

Language:OCamlLicense:ISCStargazers:156Issues:15Issues:192

TypOS

being an operating system for typechecking processes

Language:HaskellStargazers:121Issues:17Issues:5

neoscore

A python library for notating music in a graphics-first paradigm

Language:PythonLicense:BSD-3-ClauseStargazers:108Issues:7Issues:52

streaming

Fast, safe and composable streaming abstractions.

Language:OCamlLicense:ISCStargazers:108Issues:4Issues:4

pusher-channels-flutter

Pusher Channels client library for Flutter targeting IOS, Android, and WEB

Language:DartLicense:MITStargazers:74Issues:8Issues:118

musicxml-interfaces

A parser and type definition set for MusicXML.

Language:TypeScriptStargazers:49Issues:11Issues:3

erythrina

Basically ido for X, I guess?

Language:OCamlLicense:GPL-3.0Stargazers:39Issues:4Issues:0

datasino

Random Data Generator for arbitrary data types

Language:OCamlStargazers:30Issues:2Issues:0

fomus

Common Lisp Music Notation processor for different output formats (MusicXML, Lilypond, cmn) by David Psenicka. See also cm-fomus repo here

Language:Common LispLicense:NOASSERTIONStargazers:14Issues:6Issues:1

comptools

Tools to Assist in Music Composition

Language:PythonLicense:MITStargazers:4Issues:1Issues:0

dessser

(de)serializer generator

Language:OCamlLicense:GPL-3.0Stargazers:2Issues:2Issues:66