bokner avatar

bokner

Total Packages

7

Total Downloads

275 141+

boris.okner@gmail.com

Packages

solverl

Elixir/Erlang interface to MiniZinc (https://www.minizinc.org/).

Last Updated: 7 months ago

fixpoint

Constraint Programming Solver

Last Updated: 1 week ago

bitgraph

Mutable directed graph

Last Updated: 1 week ago

inplace

Mutable data structures

Last Updated: 1 week ago

replbug

Replbug is an addition to Rexbug that allows to inspect Erlang VM traces as variables in IEx

Last Updated: about 2 years ago

redbug_clone

Clone of redbug

Last Updated: about 2 years ago

fixpoint_sat

SAT Solver

Last Updated: 1 month ago

Search filters

Type any of these into the search box. They can be combined with free text which searches package names and descriptions.

Operator	Description	Example
name:	Match package name. Supports * wildcards and repo/package form	name:phx* or name:hexpm/phoenix
description:	Full-text search of package descriptions	description:auth
depends:	Packages depending on a given package. Supports repo:package form	depends:ecto or depends:hexpm:ecto
build_tool:	Filter by build tool	build_tool:mix
updated_after:	Packages updated after an ISO8601 datetime	updated_after:2025年01月01日T00:00:00Z
extra:	Match custom metadata (key,value). Nested keys are separated by commas	extra:license,MIT

Wrap values in double quotes to include spaces, e.g. name:"my package".