Sign in

Repository Index

60,121 visible repositories in the index

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

433–456 of 626 · Most stars

This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)

V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.

  • v
  • webview
  • gtk
  • webkit

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs

Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.

Simple and performant utilies using Go generics inspired by JavaScript and Python

  • golang
  • go
  • utilities
  • generics