Nishi Family › Atlas › Family Tree › Directory › Card
nx_runtime
TRUNK — part of the living tree
Organ card — parents it builds on, children built on it, and how intertwined it is with the rest of the ecosystem.
gen 2import-hops from god (of 7)
1parents (imports)
267children (importers)
267total descendants reach (Ca)
Parents — what it builds on
Real children — organs built on it (180, complete)
nx_worker_dispatchnx_tptp_loadnx_container_spec_emitnx_mesh_streamnx_png_decodernx_mesh_autoscalenx_undertone_classnx_verify_ingestnx_mesh_runnx_substrate_reviewnx_tptp_formulanx_tstp_emitnx_substrate_diagram_asciinx_tptp_termnx_sov_census_runnx_surface_plane_coherencenx_triangulation_batterynx_primitive_synthnx_substrate_diagramnx_substrate_proposenx_term_ordernx_vein_signalnx_mesh_hostagentnx_mesh_lbnx_unified_solvernx_mesh_muxnx_html_emitnx_variation_sweepnx_fof_parsenx_hyperresnx_lponx_container_censusnx_moment_triggernx_smtlib_parsenx_triangulation_arith_500nx_fof_tseitinnx_tptp_emitnx_proof_infinitude_primesnx_license_wall_auditnx_proofs_top100_batch6_closingnx_tautologynx_solvenx_mock_workernx_proofs_top100_batch4nx_fofnx_patent_checknx_zlib_wrapnx_isabelle_dir_ingestnx_skin_tone_itanx_triangulation_number_theorynx_shapleynx_hol_dir_ingestnx_silhouette_integritynx_ingest_at_scalenx_triangulatenx_segv_log_004nx_proofs_top100_batch5nx_answernx_file_resultnx_kernel_v2nx_congruence_closurenx_quality_grade_septagonnx_segv_log_001nx_fof_cnfnx_avatar_splitnx_mesh_gennx_bench_popcountnx_diagramnx_proofs_pvsnp_pendingnx_rfc_dir_ingestnx_mesh_servenx_bench_hll_throughputnx_container_registrynx_corpus_to_metanx_quality_grade_quadnx_safety_critical_gradenx_proofs_top100_batch2nx_logit_lensnx_coq_dir_ingestnx_container_composenx_huffmannx_director_pipelinenx_bundle_gennx_pose_naturalnessnx_deflatenx_bench_hll_vs_datasketchesnx_provenancenx_segv_log_003nx_segv_log_002nx_self_auditnx_fmbnx_shard_validatornx_conformalnx_domain_profilenx_selectionnx_uxcx_grade_runnx_finger_countnx_avatar_encodenx_proofs_top100_batch3nx_triangulation_algebranx_catalog_id_lookupnx_proofs_top100nx_tptpnx_mesh_batchnx_disctreenx_bitstreamnx_proof_sqrt2_v2nx_demodulation_offc_gap3_repro_v3nx_mizar_dir_ingestnx_gzip_wrapnx_pure_litnx_triangulation_arith_bulknx_lab_from_rgbnx_object_specnx_batch_infernx_triangulation_sort_string_graphnx_unicode_mathnx_proofs_machine_checkednx_shadow_directionnx_subsurface_signalnx_image_grade_v1nx_trace_emitnx_sat_solvernx_ontologynx_resultnx_landmark_anatomynx_proof_lognx_emit_journalnx_object_spec_matchnx_triangulation_crypto_fftnx_segmenter_classicalnx_a11y_checknx_quality_gradenx_micro_expressionnx_subsumptionnx_theorem_registrynx_triangulation_classicalnx_batch_audit_sidecarnx_lean_dir_ingestnx_tptp_load_anynx_unify_pp_minimal2nx_paramodulationnx_calibrationnx_image_grade_clinx_modesty_profilenx_jpeg_decodernx_license_checknx_sovereign_qed_auditnx_tptp_symtabnx_proof_sqrt2_v3nx_saturationnx_triangulation_graphnx_image_grade_v2nx_scene_through_aperturenx_attack_taxonomynx_clause_componentsnx_aces_nativenx_5wh_lognx_quality_grade_selfnx_perf_verdictnx_template_instantiatenx_proofs_comprehensive_offc_gap3_repro_v2nx_quality_grade_daemonnx_atp_to_derivenx_math_gamesnx_proof_sqrt2_irrationalnx_image_grade_v0nx_eq_factornx_dashboardnx_verdict_phrasenx_interior_geometrynx_limb_countnx_resolutionnx_pre_satnx_inst_gennx_sinenx_proof_methods
Validation — its tests/gates (87, complete)
nx_diagram_testnx_inflate_kat_testnx_tptp_testnx_tptp_emit_testnx_unify_testnx_quality_grade_testnx_fof_tseitin_testnx_proof_sqrt2_irrational_testnx_json_testnx_casc_runner_testnx_avatar_solve_testnx_caplab_cities_testnx_caplab_finance_testnx_avatar_split_testnx_clause_weight_testnx_png_dynamic_huffman_testnx_math_games_testnx_gzip_inflate_kat_testnx_resolution_testnx_discount_testnx_caplab_products_testnx_sat_solver_testnx_daemon_benchnx_gpu_benchnx_container_benchnx_caplab_market_testnx_theorem_registry_testnx_lpo_testnx_https_redirect_testnx_disctree_testnx_deflate_huffman_testnx_selection_testnx_saturation_testnx_proof_sqrt2_v3_testnx_tptp_formula_testnx_tier_swap_demonx_caplab_compete_testnx_notebook_demonx_zlib_real_testnx_kernel_v2_discharge_testnx_file_result_testnx_director_pipeline_testnx_proof_infinitude_primes_testnx_answer_testnx_term_order_testnx_paramodulation_testnx_inst_gen_testnx_safety_critical_grade_testnx_solve_testnx_tautology_testnx_clause_components_testnx_attack_taxonomy_testnx_kernel_v2_testnx_a11y_check_testnx_sine_testnx_proof_sqrt2_v2_testnx_pure_lit_testnx_casc_benchnx_atp_to_derive_testnx_caplab_sim_testnx_indexed_subsume_testnx_pre_sat_testnx_fmb_testnx_fof_parse_testnx_result_testnx_unified_solver_testnx_dashboard_testnx_tptp_load_testnx_tstp_emit_testnx_smtlib_parse_testnx_quality_gatenx_trace_emit_testnx_avatar_encode_testnx_batch_audit_sidecar_testnx_demodulation_testnx_png_real_smokenx_hyperres_testnx_fof_cnf_testnx_html_emit_testnx_tptp_write_testnx_eq_factor_testnx_caplab_quality_testnx_backward_subsume_testnx_caplab_supply_testnx_license_check_testnx_proof_log_testnx_subsumption_test
Partners — co-parents of its children (complete)
nx_syscallsnx_mesh_probenx_tiernx_strnx_resultnx_file_resultnx_unifynx_resolutionnx_tptp_symtabnx_tptp_termnx_tptp_formulanx_zlib_wrapnx_crc32nx_http_clientnx_clocknx_hashnx_tool_runnx_diagramnx_tptp_emitnx_proof_lognx_deflatenx_axiomsnx_direntnx_fcntlnx_sov_censusnx_tptpnx_add_5nx_add_10nx_add_20nx_classical_unpatentednx_binary_searchnx_lcmnx_disk_budgetnx_lexnx_typesnx_quality_gradenx_subsumptionnx_tautologynx_saturationnx_fofnx_fof_parsenx_fof_cnfnx_fof_tseitinnx_derivenx_proof_sqrt2_irrationalnx_jsonnx_json_emitnx_disctreenx_paramodulationnx_pre_satnx_sinenx_tptp_loadnx_tptp_load_anynx_clause_componentsnx_avatar_splitnx_solvenx_caplab_citiesnx_caplab_financenx_png_decodernx_math_gamesnx_term_ordernx_gzip_wrapnx_sat_solvernx_add_2nx_add_3nx_add_4nx_add_6nx_add_7nx_add_8nx_add_9nx_add_11nx_add_12nx_add_13nx_add_14nx_add_15nx_add_16nx_add_17nx_add_18nx_add_19nx_add_21nx_add_22nx_add_23nx_add_24nx_add_25nx_add_26nx_add_27nx_add_28nx_add_29nx_add_30nx_add_31nx_add_32nx_add_33nx_add_34nx_add_35nx_add_36nx_add_37nx_add_38nx_add_39nx_add_40nx_add_41nx_add_42nx_add_43nx_add_44nx_add_45nx_add_46nx_add_47nx_add_48nx_add_49nx_add_50nx_add_51nx_add_52nx_add_53nx_add_54nx_add_55nx_add_56nx_add_57nx_add_58nx_add_59nx_add_60nx_add_61nx_add_62nx_add_63nx_add_64nx_add_65nx_add_66nx_add_67nx_add_68nx_add_69nx_add_70nx_add_71nx_add_72nx_add_73nx_add_74nx_add_75nx_add_76nx_add_77nx_add_78nx_add_79nx_add_80nx_add_81nx_add_82nx_add_83nx_add_84nx_add_85nx_add_86nx_add_87nx_add_88nx_add_89nx_add_90nx_add_91nx_add_92nx_add_93nx_add_94nx_add_95nx_add_96nx_add_97nx_add_98nx_add_99nx_add_100nx_add_101nx_add_102nx_add_103nx_add_104nx_add_105nx_add_106nx_add_107nx_add_108nx_add_109nx_add_110nx_add_111nx_add_112nx_add_113nx_add_114nx_add_115nx_add_116nx_add_117nx_add_118nx_add_119nx_add_120nx_add_121nx_add_122nx_add_123nx_add_124nx_add_125nx_add_126nx_add_127nx_add_128nx_add_129nx_add_130nx_add_131nx_add_132nx_add_133nx_add_134nx_add_135nx_add_136nx_add_137nx_add_138nx_add_139nx_add_140nx_add_141nx_add_142nx_add_143nx_add_144nx_add_145nx_add_146nx_add_147nx_add_148nx_add_149nx_add_150nx_add_151nx_add_152nx_add_153nx_add_154nx_add_155nx_add_156nx_add_157nx_add_158nx_add_159nx_add_160nx_add_161nx_add_162nx_add_163nx_add_164nx_add_165nx_add_166nx_add_167nx_add_168nx_add_169nx_add_170nx_add_171nx_add_172nx_add_173nx_add_174nx_add_175nx_add_176nx_add_177nx_add_178nx_add_179nx_add_180nx_add_181nx_add_182nx_add_183nx_add_184nx_add_185nx_add_186nx_add_187nx_add_188nx_add_189nx_add_190nx_add_191nx_add_192nx_add_193nx_add_194nx_add_195nx_add_196nx_add_197nx_add_198nx_add_199nx_add_200nx_add_201nx_add_202nx_add_203nx_add_204nx_add_205nx_add_206nx_add_207nx_add_208nx_add_209nx_add_210nx_add_211nx_add_212nx_add_213nx_add_214nx_add_215nx_add_216nx_add_217nx_add_218nx_add_219nx_add_220nx_add_221nx_add_222nx_add_223nx_add_224nx_add_225nx_add_226nx_add_227nx_add_228nx_add_229nx_add_230nx_add_231nx_add_232nx_add_233nx_add_234nx_add_235nx_add_236nx_add_237nx_add_238nx_add_239nx_add_240nx_add_241nx_add_242nx_add_243nx_add_244nx_add_245nx_add_246nx_add_247nx_add_248nx_add_249nx_add_250nx_add_251nx_add_252nx_add_253nx_add_254nx_add_255nx_add_256nx_add_257nx_add_258nx_add_259nx_add_260nx_add_261nx_add_262nx_add_263nx_add_264nx_add_265nx_add_266nx_add_267nx_add_268nx_add_269nx_add_270nx_add_271nx_add_272nx_add_273nx_add_274nx_add_275nx_add_276nx_add_277nx_add_278nx_add_279nx_add_280nx_add_281nx_add_282nx_add_283nx_add_284nx_add_285nx_add_286nx_add_287nx_add_288nx_add_289nx_add_290nx_add_291nx_add_292nx_add_293nx_add_294nx_add_295nx_add_296nx_add_297nx_add_298nx_add_299nx_add_300nx_add_301nx_add_302nx_add_303nx_add_304nx_add_305nx_add_306nx_add_307nx_add_308nx_add_309nx_add_310nx_add_311nx_add_312nx_add_313nx_add_314nx_add_315nx_add_316nx_add_317nx_add_318nx_add_319nx_add_320nx_add_321nx_add_322nx_add_323nx_add_324nx_add_325nx_add_326nx_add_327nx_add_328nx_add_329nx_add_330nx_add_331nx_add_332nx_add_333nx_add_334nx_add_335nx_add_336nx_add_337nx_add_338nx_add_339nx_add_340nx_add_341nx_add_342nx_add_343nx_add_344nx_add_345nx_add_346nx_add_347nx_add_348nx_add_349nx_add_350nx_add_351nx_add_352nx_add_353nx_add_354nx_add_355nx_add_356nx_add_357nx_add_358nx_add_359nx_add_360nx_add_361nx_add_362nx_add_363nx_add_364nx_add_365nx_add_366nx_add_367nx_add_368nx_add_369nx_add_370nx_add_371nx_add_372nx_add_373nx_add_374nx_add_375nx_add_376nx_add_377nx_add_378nx_add_379nx_add_380nx_add_381nx_add_382nx_add_383nx_add_384nx_add_385nx_add_386nx_add_387nx_add_388nx_add_389nx_add_390nx_add_391nx_add_392nx_add_393nx_add_394nx_add_395nx_add_396nx_add_397nx_add_398nx_add_399nx_add_400nx_add_401nx_add_402nx_add_403nx_add_404nx_add_405nx_add_406nx_add_407nx_add_408nx_add_409nx_add_410nx_add_411nx_add_412nx_add_413nx_add_414nx_add_415nx_add_416nx_add_417nx_add_418nx_add_419nx_add_420nx_add_421nx_add_422nx_add_423nx_add_424nx_add_425nx_add_426nx_add_427nx_add_428nx_add_429nx_add_430nx_add_431nx_add_432nx_add_433nx_add_434nx_add_435nx_add_436nx_add_437nx_add_438nx_add_439nx_add_440nx_add_441nx_add_442nx_add_443nx_add_444nx_add_445nx_add_446nx_add_447nx_add_448nx_add_449nx_add_450nx_add_451nx_add_452nx_add_453nx_add_454nx_add_455nx_add_456nx_add_457nx_add_458nx_add_459nx_add_460nx_add_461nx_add_462nx_add_463nx_add_464nx_add_465nx_add_466nx_add_467nx_add_468nx_add_469nx_add_470nx_add_471nx_add_472nx_add_473nx_add_474nx_add_475nx_add_476nx_add_477nx_add_478nx_add_479nx_add_480nx_add_481nx_add_482nx_add_483nx_add_484nx_add_485nx_add_486nx_add_487nx_add_488nx_add_489nx_add_490nx_add_491nx_add_492nx_add_493nx_add_494nx_add_495nx_add_496nx_add_497nx_add_498nx_add_499nx_add_500nx_caplab_productsnx_license_checknx_benchmark_harnessnx_bench_statsnx_nofloat_gemmnx_adler32nx_caplab_marketnx_theorem_registrynx_isabelle_ingestnx_ingest_runnernx_isabelle_stream_ingestnx_bloom_capacitynx_classical_unpatented_2nx_randomnx_hol_ingestnx_hol_stream_ingestnx_lponx_segmenter_classicalnx_theorem_ingestnx_lex_kindsnx_irnx_tokenizernx_parsenx_base64nx_bitnx_rfc_ingestnx_rfc_stream_ingestnx_https_redirectnx_sketch_hllnx_sha256nx_qed_freeknx_coq_ingestnx_coq_stream_ingestnx_bitstreamnx_prngnx_arcnx_directors_notenx_moment_resolvenx_intent_survivalnx_huffmannx_perf_verdictnx_provenancenx_patent_checknx_ontologynx_selectionnx_uxcx_gradenx_kernel_v2nx_proof_sqrt2_v3nx_modesty_profilenx_object_specnx_caplab_competenx_mizar_ingestnx_mizar_stream_ingestnx_unicode_mathnx_aces_nativenx_mergesortnx_quicksortnx_kmp_searchnx_boyer_moorenx_rabin_karpnx_director_pipelinenx_proof_infinitude_primesnx_answernx_jpeg_decodernx_verdict_phrasenx_lab_from_rgbnx_skin_tone_itanx_undertone_classnx_inst_gennx_strconvnx_safety_critical_gradenx_classical_unpatented_3nx_fftnx_sketch_bloomnx_attack_taxonomynx_world_statenx_trace_emitnx_lean_ingestnx_lean_stream_ingestnx_image_grade_v2nx_a11y_checknx_dct8nx_proof_sqrt2_v2nx_pure_litnx_graphnx_landmark_anatomynx_silhouette_integritynx_limb_countnx_atp_to_derivenx_caplab_simnx_fmbnx_unified_solvernx_congruence_closurenx_proof_methodsnx_cbornx_batch_audit_sidecarnx_dashboardnx_tstp_emitnx_smtlib_parsenx_avatar_encodenx_demodulationnx_image_grade_v0nx_hyperresnx_trace_querynx_html_emitnx_eq_factornx_caplab_qualitynx_caplab_supply
667 distinct organs co-parent its children — the intertwining measure.
Siblings — per parent
via nx_syscalls: 13498 siblings
Lineage — roots to god
✥ open in the TREE EXPLORER · ← the family tree · directory · Atlas home