Elijah Kagan (elijahkagan)

elijahkagan

Geek Repo

Location:Earth

Home Page:www.imandra.ai

Github PK Tool:Github PK Tool


Organizations
imandra-ai

Elijah Kagan's repositories

Language:HTMLStargazers:0Issues:0Issues:0

elm-css

Elm CSS preprocessor that lets you use union types rather than Strings for your classes and IDs

Language:ElmLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

flexboxgrid

Grid based on CSS3 flexbox

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

GoJS

JavaScript diagramming library for interactive flowcharts, org charts, design tools, planning tools, visual languages.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

icm

Image Classifier Project

Language:HTMLStargazers:0Issues:0Issues:0

imandra-goals

Library for creating reports from Imandra verification goals

Language:OCamlStargazers:0Issues:0Issues:0

reason-react

Reason bindings for ReactJS

Language:ReasonLicense:MITStargazers:0Issues:0Issues:0

three.js

JavaScript 3D library.

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

react-sketchapp

render React components to Sketch ⚛️💎

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0