Beast code in Giters

sacado's starred repositories

go

The Go programming language

Language:GoBSD-3-Clause120655 3431 62086

micro

A modern and intuitive terminal-based text editor

Language:GoMIT24237 261 2206

httprouter

A high performance HTTP request router that scales well

Language:GoBSD-3-Clause16379 313 234

ui

Platform-native GUI library for Go.

Language:GoNOASSERTION8328 346 362

go-datastructures

A collection of useful, performant, and threadsafe Go datastructures.

Language:GoApache-2.07469 319 44

france.code-civil

Le code civil français sous git

2656 210 31

anarki

Community-managed fork of the Arc dialect of Lisp; for commit privileges submit a pull request.

Language:ArcNOASSERTION1161 70 106

golang-stuff

interesting go libs

Language:Go947 57 6

gobrain

Neural Networks written in go

Language:GoMIT554 24 6

gophersat

gophersat, a SAT solver in Go

Language:GoMIT364 12 23

becky

[OBSOLETE] Go asset embedding for use with `go generate`

Language:GoMIT109 4 6

arc2c

Arc Lisp to C compiler

Language:ArcNOASSERTION32 70

cppsat

Propositional Encodings in C++11

Language:C++GPL-3.018 30

pigosat

Go (golang) bindings for Picosat, the satisfiability solver

Language:CNOASSERTION15 4 19

luarc

Arc Lisp's web server, implemented in Lua

Language:Lua13 40

primitivearc

A subset of Arc implemented in PIR targeting the Parrot virtual machine

Language:ParrotArtistic-2.011 30

godl

This is GoDL, a description logic toolkit in golang.

Language:GoGPL-3.0300