Giters
jison

jison

Geek Repo

13

followers

13

following

707

stars

Github PK Tool:Github PK Tool

jison's starred repositories

mathlib4

The math library of Lean 4

Language:LeanLicense:Apache-2.0Stargazers:1208Issues:0Issues:0

plombery

Python task scheduler with a user-friendly web UI

Language:TypeScriptLicense:MITStargazers:247Issues:0Issues:0

InterGPS

Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"

Language:PythonLicense:MITStargazers:117Issues:0Issues:0

dgraph

The high-performance database for modern applications

Language:GoLicense:NOASSERTIONStargazers:20204Issues:0Issues:0

lepus

Your principled, purely functional, non-blocking RabbitMQ client for scala, scala js and scala native built on top of fs2

Language:ScalaLicense:Apache-2.0Stargazers:21Issues:0Issues:0

iron

Strong type constraints for Scala

Language:ScalaLicense:Apache-2.0Stargazers:430Issues:0Issues:0

BRepNet

BRepNet: A topological message passing system for solid models

Language:PythonLicense:NOASSERTIONStargazers:100Issues:0Issues:0

Hyprland

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

Language:C++License:BSD-3-ClauseStargazers:18318Issues:0Issues:0

odoo

Odoo. Open Source Apps To Grow Your Business.

Language:PythonLicense:NOASSERTIONStargazers:36397Issues:0Issues:0

pybind11

Seamless operability between C++11 and Python

Language:C++License:NOASSERTIONStargazers:15183Issues:0Issues:0

feign

Feign makes writing java http clients easier

Language:JavaLicense:Apache-2.0Stargazers:9360Issues:0Issues:0

wireguard-go

Mirror only. Official repository is at https://git.zx2c4.com/wireguard-go

Language:GoLicense:MITStargazers:2919Issues:0Issues:0

timefold-solver

The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

Language:JavaLicense:Apache-2.0Stargazers:829Issues:0Issues:0

scalac-scoverage-plugin

Scoverage Scala Code Coverage Core Libs

Language:ScalaLicense:Apache-2.0Stargazers:423Issues:0Issues:0

edomata

Production ready event-driven automata for Scala, Scala.js and scala native

Language:ScalaLicense:Apache-2.0Stargazers:79Issues:0Issues:0

endless

endless is a library to build distributed systems in functional Scala using a pluggable runtime model

Language:ScalaLicense:MITStargazers:97Issues:0Issues:0

Deepnest

An open source nesting application for laser cutters, plasma cutters and other CNC machines

Language:JavaScriptStargazers:851Issues:0Issues:0

zio-protoquill

Quill for Scala 3

Language:ScalaLicense:Apache-2.0Stargazers:199Issues:0Issues:0

magnolia

Easy, fast, transparent generic derivation of typeclass instances

Language:ScalaLicense:Apache-2.0Stargazers:755Issues:0Issues:0

steputils

STEPutils is a Python package to manage STEP model data.

Language:PythonLicense:MITStargazers:35Issues:0Issues:0

stepcode

STEPcode (formerly NIST's STEP Class Library) is used with IFC, STEP, and other standards that utilize the technologies of ISO10303 (STEP). It generates C++ and Python from EXPRESS (10303-11) schemas. The code is capable of reading and writing STEP Part 21 exchange files. It also utilizes Parts 22 and 23 (SDAI and its C++ binding).

Language:CLicense:NOASSERTIONStargazers:424Issues:0Issues:0

soundness

A platform of libraries for Scala 3

Language:ShellStargazers:63Issues:0Issues:0

inet-js

This is an implementation of interaction nets. It introduces you to the bizarre world of graph-based computation and linear logic, using a familiar JavaScript-like syntax :)

Language:TypeScriptLicense:GPL-3.0Stargazers:41Issues:0Issues:0

mise

dev tools, env vars, task runner

Language:RustLicense:MITStargazers:8367Issues:0Issues:0

skunk

A data access library for Scala + Postgres.

Language:ScalaLicense:MITStargazers:1562Issues:0Issues:0

Monocle

Optics library for Scala

Language:ScalaLicense:MITStargazers:1643Issues:0Issues:0

awesome-workflow-engines

A curated list of awesome open source workflow engines

License:Apache-2.0Stargazers:5908Issues:0Issues:0

recursion-schemes

Generalized bananas, lenses and barbed wire

Language:HaskellLicense:NOASSERTIONStargazers:338Issues:0Issues:0

droste

recursion schemes for cats; to iterate is human, to recurse, divine

Language:ScalaLicense:Apache-2.0Stargazers:387Issues:0Issues:0

gooey

Create graphical user interfaces really quickly. Sweet!

Language:ScalaLicense:Apache-2.0Stargazers:20Issues:0Issues:0