RomainFranceschini

Romain Franceschini's starred repositories

photon

The fastest way to build beautiful Electron apps using simple HTML and CSS

Language:CSSMIT10002 216 104

ponyc

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

Language:CBSD-2-Clause5652 143 1932

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaMIT2264 55 782

ameba

A static code analysis tool for Crystal

Language:CrystalMIT511 13 193

celestite

Beautifully reactive, server-side rendered Svelte apps w/ a Crystal backend

Language:CrystalMIT221 10 8

savi

A fast language for programmers who are passionate about their craft.

Language:CrystalBSD-3-Clause154 8 131

sarl

SARL Agent-Oriented Programming Language http://www.sarl.io

Language:JavaApache-2.0136 14 1072

earl

Service Objects for Crystal (Agents, Artists, Supervisors, Pools, ...)

Language:CrystalNOASSERTION95 8 14

crz

Functional programming library for https://github.com/crystal-lang/crystal

Language:CrystalMIT90 4 4

hedron

An extendable UI library in Crystal, with markup capabilities.

Language:CrystalMIT86 11 8

GPGPU

Small library for running arbitrary computations on the GPU, using JavaScript or WebAssembly.

Language:JavaScriptApache-2.080 7 3

cltk

A crystal port of the Ruby Language Toolkit

Language:CrystalNOASSERTION73 6 6

pegasus

A parser generator for C and Crystal.

Language:CrystalMIT61 5 9

parallel.cr

Parallelism for crystal as a shard

Language:CrystalMIT60 9 4

zeromq-crystal

Language:CrystalMIT48 6 10

sydevs

Simulation-based analysis of complex systems involving people, devices, physical elements, and dynamic environments.

Language:C++Apache-2.035 9 2

neo4j.cr

Pure-Crystal implementation of Neo4j's Bolt protocol

Language:CrystalMIT30 4 8

active-model

A rails-esque model framework for crystal lang

Language:CrystalMIT28 3 13

EBNF.cr

Work with (E)BNF and bison/YACC Grammar: Parsing, FIRST/FOLLOW set, CNF, Conversions, LR and LL parsing tables

Language:CrystalMIT25 3 4

atompm

A Tool for Multi-Paradigm Modeling

Language:JavaScriptLGPL-3.022 5 76

markov

⛓ A Crystal library for building Markov Chains and running Markov Processes.

Language:CrystalMIT21 3 1

graphlb

graphlb is a crystal library which contains all the graph Data-Structures and Algorithms implemented in crystal-lang.

Language:CrystalMIT19 3 1

micro_mruby_for_arduino_uno

An Arduino library of mircro mruby VM implementation for Arduino uno

Language:C++NOASSERTION11 20

sodium

A fast library for graph/network manipulation

Language:CrystalMIT11 30

vulkan.cr

Vulkan bindings to Crystal

Language:CrystalMIT7 20

Libre

A Crystal graphics library that is built on Raylib.

Language:Crystal6 10

ltk-cr

[WIP] Light Toolkit

Language:CrystalMIT6 60

geode

Computational Geometry with Crystal

Language:CrystalMIT500

py-t-core

Py-T-Core is a python framework for building your own domain-specific model transformation languages

Language:PythonLGPL-3.05 20

wasmc.cr

A WebAssembly Compiler for Crystal. WIP : Work In Progress !

Language:CrystalMIT4 20